このみにゅみにLv.36は素晴らしか得難くないかもしくは両方ともだ
fact1: もしもなにがしかのモンスターは可愛らしい一方で手引きしないならそれは得難い fact2: もし仮にあのぷちょぷゆLv.81が其れらしくないならそのぷのぷねLv.82は泣き伏すしさらに厳しい fact3: 全てのモンスターは可愛らしくてかつそれは手引きしない fact4: もしも「何らかのモンスターは馬鹿でかくないがしかし其れらしい」ということは間違っていれば其れらしくない fact5: もし仮にあるモンスターが愛しいけれど手引きしないならば可愛らしい fact6: 仮に何らかのモンスターが泣き伏すなら愛しいけど手引きするということはない fact7: もしこのもよもくLv.38は得難いとすると「このみにゅみにLv.36は素晴らしかあるいは得難くないか両方ともである」ということは間違っている fact8: 仮にそのぷのぷねLv.82が可愛らしいならばそのまゆまよLv.17は可愛らしい
fact3 -> int1: このもよもくLv.38は可愛らしいがしかしそれは手引きするということはない; fact1 -> int2: もしもこのもよもくLv.38が可愛らしいがしかし手引きしないとすると「このもよもくLv.38は得難い」ということは確かである; int1 & int2 -> int3: このもよもくLv.38は得難い; int3 & fact7 -> hypothesis;
fact3 -> int1: ({A}{aa} & ¬{B}{aa}); fact1 -> int2: ({A}{aa} & ¬{B}{aa}) -> {C}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact7 -> hypothesis;
このみにゅみにLv.36は素晴らしか得難くないかもしくは両方ともだ
fact13 -> int4: もし仮にそのぷのぷねLv.82が愛しいけれど手引きしないとすればそのぷのぷねLv.82は可愛らしい; fact11 -> int5: 仮にそのぷのぷねLv.82が泣き伏すとすると愛しいけれど手引きしない; fact10 -> int6: 「あのぷちょぷゆLv.81は馬鹿でかくないけど其れらしい」ということは偽であるとすればそれは其れらしくない;
$facts$ = fact1: もしもなにがしかのモンスターは可愛らしい一方で手引きしないならそれは得難い fact2: もし仮にあのぷちょぷゆLv.81が其れらしくないならそのぷのぷねLv.82は泣き伏すしさらに厳しい fact3: 全てのモンスターは可愛らしくてかつそれは手引きしない fact4: もしも「何らかのモンスターは馬鹿でかくないがしかし其れらしい」ということは間違っていれば其れらしくない fact5: もし仮にあるモンスターが愛しいけれど手引きしないならば可愛らしい fact6: 仮に何らかのモンスターが泣き伏すなら愛しいけど手引きするということはない fact7: もしこのもよもくLv.38は得難いとすると「このみにゅみにLv.36は素晴らしかあるいは得難くないか両方ともである」ということは間違っている fact8: 仮にそのぷのぷねLv.82が可愛らしいならばそのまゆまよLv.17は可愛らしい ; $hypothesis$ = このみにゅみにLv.36は素晴らしか得難くないかもしくは両方ともだ ; $proof$ = 
fact3 -> int1: このもよもくLv.38は可愛らしいがしかしそれは手引きするということはない; fact1 -> int2: もしもこのもよもくLv.38が可愛らしいがしかし手引きしないとすると「このもよもくLv.38は得難い」ということは確かである; int1 & int2 -> int3: このもよもくLv.38は得難い; int3 & fact7 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{aa} & ¬{B}{aa}); fact1 -> int2: ({A}{aa} & ¬{B}{aa}) -> {C}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact7 -> hypothesis; __DISPROVED__