このぴちゃぴなLv.56は勾引する
fact1: もしなんらかのモンスターが程遠いとしたらそれはシャンプーする fact2: 仮に「発揮し難いということはないしそれにシャンプーしない」モンスターがいるとすればこのぴちゃぴなLv.56は勾引する fact3: 「程遠い」モンスターはいる fact4: もしあるモンスターが程遠いならばそのぴえぴえLv.22は発揮し難くないし加えてシャンプーしない
fact3 & fact4 -> int1: そのぴえぴえLv.22は発揮し難くないしその上それはシャンプーするということはない; int1 -> int2: 「発揮し難いということはないしまたシャンプーするということはない」モンスターはいる; int2 & fact2 -> hypothesis;
fact3 & fact4 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> int2: (Ex): (¬{B}x & ¬{C}x); int2 & fact2 -> hypothesis;
そのもえもよLv.26はシャンプーする
fact5 -> int3: もし仮にそのもえもよLv.26が程遠いならばそれはシャンプーする;
$facts$ = fact1: もしなんらかのモンスターが程遠いとしたらそれはシャンプーする fact2: 仮に「発揮し難いということはないしそれにシャンプーしない」モンスターがいるとすればこのぴちゃぴなLv.56は勾引する fact3: 「程遠い」モンスターはいる fact4: もしあるモンスターが程遠いならばそのぴえぴえLv.22は発揮し難くないし加えてシャンプーしない ; $hypothesis$ = このぴちゃぴなLv.56は勾引する ; $proof$ = 
fact3 & fact4 -> int1: そのぴえぴえLv.22は発揮し難くないしその上それはシャンプーするということはない; int1 -> int2: 「発揮し難いということはないしまたシャンプーするということはない」モンスターはいる; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> int2: (Ex): (¬{B}x & ¬{C}x); int2 & fact2 -> hypothesis; __PROVED__