（問）
次の命題が十分条件であることを証明せよ。
「HSP厨は池沼である」

（証）
１）
逆は
「池沼であればHSP厨である」
これは成立しない。
・反例→Ｃ厨
２）
裏は
「HSP厨でなければ池沼ではない」
これも成立しない。
・反例→Ｃ厨
３）
対偶は
「池沼でなければHSPではない」
これは成立する。

∴「HSP厨は池沼である」
（証明終）