そのぴよぴいLv.45は讒言する
fact1: このまいまねLv.64は打ち難くないけれど手厚い fact2: もしもそのぴよぴいLv.45は勘違いし易いとすれば「そのぴよぴいLv.45は讒言する」ということは偽でない fact3: もしもこのまいまねLv.64は打ち難いということはないなら「あのぴちゃぴわLv.41は御美しくないがしかし打ち難い」ということは嘘だ fact4: もしも「あのぴちゃぴわLv.41は御美しくないけれど打ち難い」ということは間違いであるとしたらあのぴちゃぴわLv.41はちぎれ易い fact5: そのもなもえLv.30は讒言する fact6: 仮に「なんらかのモンスターは讒言するしまた打ち難い」ということは誤りならばそれは讒言しない fact7: もしあのぴちゃぴわLv.41がちぎれ易いとすればそのぴよぴいLv.45は勘違いし易い
fact1 -> int1: このまいまねLv.64は打ち難くない; int1 & fact3 -> int2: 「あのぴちゃぴわLv.41は御美しいということはないがしかし打ち難い」ということは成り立たない; int2 & fact4 -> int3: あのぴちゃぴわLv.41はちぎれ易い; int3 & fact7 -> int4: そのぴよぴいLv.45は勘違いし易い; int4 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ¬(¬{D}{b} & {A}{b}); int2 & fact4 -> int3: {C}{b}; int3 & fact7 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
そのぴよぴいLv.45は讒言しない
fact8 -> int5: もしも「そのぴよぴいLv.45が讒言するしその上打ち難い」ということは成り立たないならば「それは讒言するということはない」ということは誤っているということはない;
$facts$ = fact1: このまいまねLv.64は打ち難くないけれど手厚い fact2: もしもそのぴよぴいLv.45は勘違いし易いとすれば「そのぴよぴいLv.45は讒言する」ということは偽でない fact3: もしもこのまいまねLv.64は打ち難いということはないなら「あのぴちゃぴわLv.41は御美しくないがしかし打ち難い」ということは嘘だ fact4: もしも「あのぴちゃぴわLv.41は御美しくないけれど打ち難い」ということは間違いであるとしたらあのぴちゃぴわLv.41はちぎれ易い fact5: そのもなもえLv.30は讒言する fact6: 仮に「なんらかのモンスターは讒言するしまた打ち難い」ということは誤りならばそれは讒言しない fact7: もしあのぴちゃぴわLv.41がちぎれ易いとすればそのぴよぴいLv.45は勘違いし易い ; $hypothesis$ = そのぴよぴいLv.45は讒言する ; $proof$ = 
fact1 -> int1: このまいまねLv.64は打ち難くない; int1 & fact3 -> int2: 「あのぴちゃぴわLv.41は御美しいということはないがしかし打ち難い」ということは成り立たない; int2 & fact4 -> int3: あのぴちゃぴわLv.41はちぎれ易い; int3 & fact7 -> int4: そのぴよぴいLv.45は勘違いし易い; int4 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ¬(¬{D}{b} & {A}{b}); int2 & fact4 -> int3: {C}{b}; int3 & fact7 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __PROVED__