「「このぷよぷゆLv.77はおどろおどろしくないかまたは歩き辛いか両方である」ということは確かである」ということは誤りだ
fact1: もしこのぷゆぷにゃLv.26はシャンプーするということはないとすると「このぷにゃぷなLv.1は書き易いかあるいはそれは見難いか両方ともだ」ということは誤っている fact2: あのもちゅもなLv.21はおどろおどろしいとすると「このぷよぷゆLv.77はおどろおどろしくないかそれは歩き辛い」ということは誤りである fact3: このぷゆぷにゃLv.26はシャンプーしない fact4: もしあのもちゅもなLv.21が尋ねないならおどろおどろしい fact5: 「「書き易いかまたは見難いかもしくはどちらもだ」ということは偽である」モンスターがいればあのもちゅもなLv.21は尋ねない
fact1 & fact3 -> int1: 「このぷにゃぷなLv.1は書き易いか見難いか両方だ」ということは成り立たない; int1 -> int2: 「「書き易いかまたは見難い」ということは誤っている」モンスターはいる; int2 & fact5 -> int3: あのもちゅもなLv.21は尋ねない; int3 & fact4 -> int4: あのもちゅもなLv.21はおどろおどろしい; int4 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ¬({AA}{b} v {AB}{b}); int1 -> int2: (Ex): ¬({AA}x v {AB}x); int2 & fact5 -> int3: ¬{B}{c}; int3 & fact4 -> int4: {C}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もしこのぷゆぷにゃLv.26はシャンプーするということはないとすると「このぷにゃぷなLv.1は書き易いかあるいはそれは見難いか両方ともだ」ということは誤っている fact2: あのもちゅもなLv.21はおどろおどろしいとすると「このぷよぷゆLv.77はおどろおどろしくないかそれは歩き辛い」ということは誤りである fact3: このぷゆぷにゃLv.26はシャンプーしない fact4: もしあのもちゅもなLv.21が尋ねないならおどろおどろしい fact5: 「「書き易いかまたは見難いかもしくはどちらもだ」ということは偽である」モンスターがいればあのもちゅもなLv.21は尋ねない ; $hypothesis$ = 「「このぷよぷゆLv.77はおどろおどろしくないかまたは歩き辛いか両方である」ということは確かである」ということは誤りだ ; $proof$ = 
fact1 & fact3 -> int1: 「このぷにゃぷなLv.1は書き易いか見難いか両方だ」ということは成り立たない; int1 -> int2: 「「書き易いかまたは見難い」ということは誤っている」モンスターはいる; int2 & fact5 -> int3: あのもちゅもなLv.21は尋ねない; int3 & fact4 -> int4: あのもちゅもなLv.21はおどろおどろしい; int4 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: ¬({AA}{b} v {AB}{b}); int1 -> int2: (Ex): ¬({AA}x v {AB}x); int2 & fact5 -> int3: ¬{B}{c}; int3 & fact4 -> int4: {C}{c}; int4 & fact2 -> hypothesis; __PROVED__