以下のように仮定する。あのみにみにょLv.88は蒸し暑い
fact1: 灯し難くないモンスターは関係深いしそれにどでかい fact2: 仮に「あるモンスターは胡散臭い一方で蒸し暑くない」ということは成り立つということはないなら煙たくない fact3: あのみにみにょLv.88が蒸し暑いしかつそれが胡散臭いならばあのまえまゆLv.6は煙たくない fact4: なんらかのモンスターは関係深いとすれば「褒め讚えるが厭わしくない」ということは事実でない fact5: あのまえまゆLv.6は灯し難くない fact6: 仮にあのみにみにょLv.88は観光客らしくないとすると「あのぷにぷにゃLv.6は胡散臭いがしかし蒸し暑くない」ということは嘘だ fact7: あのみにみにょLv.88は胡散臭い fact8: あのまえまゆLv.6は煙たい
void -> assump1: 以下のように仮定する。あのみにみにょLv.88は蒸し暑い; assump1 & fact7 -> int1: あのみにみにょLv.88は蒸し暑くてさらに胡散臭い; int1 & fact3 -> int2: あのまえまゆLv.6は煙たくない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのぷにぷにゃLv.6は煙たくない
fact10 -> int4: もしも「あのぷにぷにゃLv.6は胡散臭いけれど蒸し暑くない」ということは嘘であるとすれば煙たくない; fact13 -> int5: もしあのまえまゆLv.6は関係深いなら「それは褒め讚えるが厭わしくない」ということは間違いだ; fact9 -> int6: もし仮に「あのまえまゆLv.6は灯し難い」ということは嘘であるとするとそれは関係深いししかもどでかい; int6 & fact11 -> int7: あのまえまゆLv.6は関係深くてどでかい; int7 -> int8: あのまえまゆLv.6は関係深い; int5 & int8 -> int9: 「あのまえまゆLv.6は褒め讚えるがしかしそれは厭わしくない」ということは成り立たない; int9 -> int10: 「「褒め讚えるが厭わしくない」ということは真実でない」モンスターはいる;
$facts$ = fact1: 灯し難くないモンスターは関係深いしそれにどでかい fact2: 仮に「あるモンスターは胡散臭い一方で蒸し暑くない」ということは成り立つということはないなら煙たくない fact3: あのみにみにょLv.88が蒸し暑いしかつそれが胡散臭いならばあのまえまゆLv.6は煙たくない fact4: なんらかのモンスターは関係深いとすれば「褒め讚えるが厭わしくない」ということは事実でない fact5: あのまえまゆLv.6は灯し難くない fact6: 仮にあのみにみにょLv.88は観光客らしくないとすると「あのぷにぷにゃLv.6は胡散臭いがしかし蒸し暑くない」ということは嘘だ fact7: あのみにみにょLv.88は胡散臭い fact8: あのまえまゆLv.6は煙たい ; $hypothesis$ = 以下のように仮定する。あのみにみにょLv.88は蒸し暑い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみにみにょLv.88は蒸し暑い; assump1 & fact7 -> int1: あのみにみにょLv.88は蒸し暑くてさらに胡散臭い; int1 & fact3 -> int2: あのまえまゆLv.6は煙たくない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__