このぴくぴにLv.5は勿体無いしその上悍ましい
fact1: あのぷよぷねLv.17は静置する fact2: このぴくぴにLv.5は勿体無い fact3: もしあのぷよぷねLv.17が覚え易くなくて柔くないならこのぴくぴにLv.5は悍ましい fact4: なんらかのモンスターは静置しないとすると「それは勿体無くて悍ましい」ということは成り立たない fact5: もしとあるモンスターが静置するとしたらそれは覚え易くなくてまた柔くない fact6: 悪戯っぽくないモンスターは静置するということはないがしかし苦労する
fact5 -> int1: もし仮にあのぷよぷねLv.17が静置するならそれは覚え易くないし柔いということはない; int1 & fact1 -> int2: あのぷよぷねLv.17は覚え易くないしかつそれは柔くない; int2 & fact3 -> int3: このぴくぴにLv.5は悍ましい; int3 & fact2 -> hypothesis;
fact5 -> int1: {A}{a} -> (¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> int2: (¬{AA}{a} & ¬{AB}{a}); int2 & fact3 -> int3: {B}{b}; int3 & fact2 -> hypothesis;
「このぴくぴにLv.5は勿体無いし加えて悍ましい」ということは成り立たない
fact7 -> int4: 仮にあのぷよぷねLv.17は静置しないとすると「それは勿体無くて悍ましい」ということは誤っている; fact8 -> int5: もし仮にあのぷよぷねLv.17が悪戯っぽくないならあのぷよぷねLv.17は静置しないがしかし苦労する;
$facts$ = fact1: あのぷよぷねLv.17は静置する fact2: このぴくぴにLv.5は勿体無い fact3: もしあのぷよぷねLv.17が覚え易くなくて柔くないならこのぴくぴにLv.5は悍ましい fact4: なんらかのモンスターは静置しないとすると「それは勿体無くて悍ましい」ということは成り立たない fact5: もしとあるモンスターが静置するとしたらそれは覚え易くなくてまた柔くない fact6: 悪戯っぽくないモンスターは静置するということはないがしかし苦労する ; $hypothesis$ = このぴくぴにLv.5は勿体無いしその上悍ましい ; $proof$ = 
fact5 -> int1: もし仮にあのぷよぷねLv.17が静置するならそれは覚え易くないし柔いということはない; int1 & fact1 -> int2: あのぷよぷねLv.17は覚え易くないしかつそれは柔くない; int2 & fact3 -> int3: このぴくぴにLv.5は悍ましい; int3 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a} -> (¬{AA}{a} & ¬{AB}{a}); int1 & fact1 -> int2: (¬{AA}{a} & ¬{AB}{a}); int2 & fact3 -> int3: {B}{b}; int3 & fact2 -> hypothesis; __PROVED__