このもゆものLv.75は擽ったくてそれは面白おかしい
fact1: 仮にあのもにゃもなLv.13が面白おかしいとすればあのみよみいLv.4は厳い fact2: もしあのもにゃもなLv.13は面白おかしくないならば「このもゆものLv.75は擽ったいししかも面白おかしい」ということは誤りである fact3: あのぽえぽにょLv.95は被らないかまたはそれは熱いということはない fact4: あのぽえぽにょLv.95が被らないかあるいは熱くないとするとあのもにゃもなLv.13は熱くない fact5: あのみよみいLv.4は厳いということはない fact6: もしも「熱くない」モンスターがいればこのもゆものLv.75は擽ったくてさらに厳い fact7: あのみよみいLv.4は面白おかしい
void -> assump1: 以下のように仮定する。あのもにゃもなLv.13は面白おかしい; fact1 & assump1 -> int1: あのみよみいLv.4は厳い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのもにゃもなLv.13は面白おかしくない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
このもゆものLv.75は擽ったくてそれは面白おかしい
fact8 & fact10 -> int4: あのもにゃもなLv.13は熱くない; int4 -> int5: 熱くないモンスターはいる; int5 & fact9 -> int6: このもゆものLv.75は擽ったいしそれに厳い; int6 -> int7: このもゆものLv.75は擽ったい;
$facts$ = fact1: 仮にあのもにゃもなLv.13が面白おかしいとすればあのみよみいLv.4は厳い fact2: もしあのもにゃもなLv.13は面白おかしくないならば「このもゆものLv.75は擽ったいししかも面白おかしい」ということは誤りである fact3: あのぽえぽにょLv.95は被らないかまたはそれは熱いということはない fact4: あのぽえぽにょLv.95が被らないかあるいは熱くないとするとあのもにゃもなLv.13は熱くない fact5: あのみよみいLv.4は厳いということはない fact6: もしも「熱くない」モンスターがいればこのもゆものLv.75は擽ったくてさらに厳い fact7: あのみよみいLv.4は面白おかしい ; $hypothesis$ = このもゆものLv.75は擽ったくてそれは面白おかしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもにゃもなLv.13は面白おかしい; fact1 & assump1 -> int1: あのみよみいLv.4は厳い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのもにゃもなLv.13は面白おかしくない; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __DISPROVED__