あのぷちゅぷねLv.57は煙たくない
fact1: 等しないモンスターはしぶとくて怠い fact2: 仮にそのまいまやLv.89は倹しかないなら「あのぷちゅぷねLv.57は煙たくなくて多しない」ということは事実と異なる fact3: そのまいまやLv.89は等し fact4: 全てのモンスターはしぶとくてかつそれは怠い fact5: そのまいまやLv.89が等ししおまけにしぶといとすればあのぷちゅぷねLv.57は煙たくない fact6: あらゆるモンスターは倹しかないけれどがめつい
fact4 -> int1: そのまいまやLv.89はしぶとくておまけに怠い; int1 -> int2: そのまいまやLv.89はしぶとい; int2 & fact3 -> int3: 「そのまいまやLv.89は等ししそれにしぶとい」ということは成り立つ; int3 & fact5 -> hypothesis;
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact3 -> int3: ({C}{a} & {A}{a}); int3 & fact5 -> hypothesis;
あのぷちゅぷねLv.57はしぶとい
fact8 -> int4: もしあのぷちゅぷねLv.57が等しないならそれはしぶといし怠い; fact7 -> int5: このぽくぽなLv.12は倹しかないけれどそれはがめつい; int5 -> int6: このぽくぽなLv.12は倹しかない; int6 -> int7: すべてのモンスターは倹しかない; int7 -> int8: そのまいまやLv.89は倹しかない; int8 & fact9 -> int9: 「あのぷちゅぷねLv.57は煙たくないしそれに多しない」ということは嘘だ;
$facts$ = fact1: 等しないモンスターはしぶとくて怠い fact2: 仮にそのまいまやLv.89は倹しかないなら「あのぷちゅぷねLv.57は煙たくなくて多しない」ということは事実と異なる fact3: そのまいまやLv.89は等し fact4: 全てのモンスターはしぶとくてかつそれは怠い fact5: そのまいまやLv.89が等ししおまけにしぶといとすればあのぷちゅぷねLv.57は煙たくない fact6: あらゆるモンスターは倹しかないけれどがめつい ; $hypothesis$ = あのぷちゅぷねLv.57は煙たくない ; $proof$ = 
fact4 -> int1: そのまいまやLv.89はしぶとくておまけに怠い; int1 -> int2: そのまいまやLv.89はしぶとい; int2 & fact3 -> int3: 「そのまいまやLv.89は等ししそれにしぶとい」ということは成り立つ; int3 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact3 -> int3: ({C}{a} & {A}{a}); int3 & fact5 -> hypothesis; __PROVED__