もしこのぴにょぴにLv.11が立候補するならこのぴにょぴにLv.11は在廷しない
fact1: 全てのモンスターは甚だしいし更にそれは欠け落ちる fact2: このぴにょぴにLv.11は長ったらしくて加えて割り入れる fact3: あのもえもいLv.31は立候補する fact4: もしこのぴにょぴにLv.11が長ったらしくて立候補すればそれは在廷するということはない fact5: 「あるモンスターが試作すれば在廷するかあるいはそれは割り入れるということはないかどちらもである」ということは本当だ fact6: このぴにょぴにLv.11が長ったらしくないしそれは立候補しないならば「そのぷのぷわLv.95は長ったらしい」ということは成り立つ fact7: すべてのモンスターは試作する
fact2 -> int1: このぴにょぴにLv.11は長ったらしい; void -> assump1: 以下のように仮定する。このぴにょぴにLv.11は立候補する; int1 & assump1 -> int2: このぴにょぴにLv.11は長ったらしいしまた立候補する; int2 & fact4 -> int3: このぴにょぴにLv.11は在廷しない; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{a}; void -> assump1: {C}{a}; int1 & assump1 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis;
そのぷのぷわLv.95は長ったらしくてそれに甚だしい
fact11 -> int4: そのぷのぷわLv.95は甚だしくて更に欠け落ちる; int4 -> int5: そのぷのぷわLv.95は甚だしい; fact10 -> int6: もしもそのぴにょぴねLv.56が試作するとすればそれは在廷するかあるいは割り入れないかあるいは両方である; fact8 -> int7: そのぴにょぴねLv.56は試作する; int6 & int7 -> int8: 「そのぴにょぴねLv.56は在廷するかそれは割り入れないかまたは両方だ」ということは真実である; int8 -> int9: 全てのモンスターは在廷するかもしくは割り入れないか両方ともである; int9 -> int10: そのもえもにょLv.83は在廷するかあるいは割り入れない;
$facts$ = fact1: 全てのモンスターは甚だしいし更にそれは欠け落ちる fact2: このぴにょぴにLv.11は長ったらしくて加えて割り入れる fact3: あのもえもいLv.31は立候補する fact4: もしこのぴにょぴにLv.11が長ったらしくて立候補すればそれは在廷するということはない fact5: 「あるモンスターが試作すれば在廷するかあるいはそれは割り入れるということはないかどちらもである」ということは本当だ fact6: このぴにょぴにLv.11が長ったらしくないしそれは立候補しないならば「そのぷのぷわLv.95は長ったらしい」ということは成り立つ fact7: すべてのモンスターは試作する ; $hypothesis$ = もしこのぴにょぴにLv.11が立候補するならこのぴにょぴにLv.11は在廷しない ; $proof$ = 
fact2 -> int1: このぴにょぴにLv.11は長ったらしい; void -> assump1: 以下のように仮定する。このぴにょぴにLv.11は立候補する; int1 & assump1 -> int2: このぴにょぴにLv.11は長ったらしいしまた立候補する; int2 & fact4 -> int3: このぴにょぴにLv.11は在廷しない; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; void -> assump1: {C}{a}; int1 & assump1 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis; __PROVED__