あの憲兵伍長はフェラする
fact1: あの憲兵伍長はノボラックだ fact2: あの憲兵伍長はノボラックであるならフェラしない
$facts$ = fact1: あの憲兵伍長はノボラックだ fact2: あの憲兵伍長はノボラックであるならフェラしない ; $hypothesis$ = あの憲兵伍長はフェラする ; $proof$ = 
事実1: あの憲兵伍長はノボラックだ
事実2: あの憲兵伍長はノボラックであるならフェラしない

仮説: あの憲兵伍長はフェラする