「このぷえぷにLv.7は御聞かせ頂けないがしかし探し易い」ということは嘘である
fact1: もしあのもいもちゅLv.20は御聞かせ頂けないとしたら「このぷえぷにLv.7は御聞かせ頂けない一方でそれは探し易い」ということは間違いである fact2: あのもいもちゅLv.20は狂う fact3: あのもいもちゅLv.20は巡業するしおまけに狂う fact4: あのもいもちゅLv.20が纏まり易くて更に追えばあのもいもちゅLv.20は御聞かせ頂けない fact5: あのもいもちゅLv.20は纏まり易い fact6: もしもなにがしかのモンスターは巡業しないとすれば「それはぎこちなくないがしかし冷たい」ということは成り立つということはない fact7: もしあのもいもちゅLv.20が巡業するならあのもいもちゅLv.20は追う fact8: もしあるモンスターは狂わないし追うということはないならそれは巡業するということはない
fact3 -> int1: あのもいもちゅLv.20は巡業する; int1 & fact7 -> int2: あのもいもちゅLv.20は追う; int2 & fact5 -> int3: あのもいもちゅLv.20は纏まり易いし追う; int3 & fact4 -> int4: あのもいもちゅLv.20は御聞かせ頂けない; int4 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact5 -> int3: ({D}{a} & {C}{a}); int3 & fact4 -> int4: ¬{E}{a}; int4 & fact1 -> hypothesis;
「このみにゅみにょLv.79はぎこちなくない一方で冷たい」ということは確かだということはない
fact10 -> int5: 仮にこのみにゅみにょLv.79は巡業しないとすれば「このみにゅみにょLv.79はぎこちなくないが冷たい」ということは成り立たない; fact9 -> int6: 仮にこのみにゅみにょLv.79が狂わないししかもそれが追わないとしたらこのみにゅみにょLv.79は巡業しない;
$facts$ = fact1: もしあのもいもちゅLv.20は御聞かせ頂けないとしたら「このぷえぷにLv.7は御聞かせ頂けない一方でそれは探し易い」ということは間違いである fact2: あのもいもちゅLv.20は狂う fact3: あのもいもちゅLv.20は巡業するしおまけに狂う fact4: あのもいもちゅLv.20が纏まり易くて更に追えばあのもいもちゅLv.20は御聞かせ頂けない fact5: あのもいもちゅLv.20は纏まり易い fact6: もしもなにがしかのモンスターは巡業しないとすれば「それはぎこちなくないがしかし冷たい」ということは成り立つということはない fact7: もしあのもいもちゅLv.20が巡業するならあのもいもちゅLv.20は追う fact8: もしあるモンスターは狂わないし追うということはないならそれは巡業するということはない ; $hypothesis$ = 「このぷえぷにLv.7は御聞かせ頂けないがしかし探し易い」ということは嘘である ; $proof$ = 
fact3 -> int1: あのもいもちゅLv.20は巡業する; int1 & fact7 -> int2: あのもいもちゅLv.20は追う; int2 & fact5 -> int3: あのもいもちゅLv.20は纏まり易いし追う; int3 & fact4 -> int4: あのもいもちゅLv.20は御聞かせ頂けない; int4 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact5 -> int3: ({D}{a} & {C}{a}); int3 & fact4 -> int4: ¬{E}{a}; int4 & fact1 -> hypothesis; __PROVED__