このまにゅまいLv.4は蒸し暑くない
fact1: このぽにゅぽなLv.95は倒錯する fact2: もしこのぽにゅぽなLv.95が明るいし蒸し暑いとするとこのまにゅまいLv.4は蒸し暑いということはない fact3: あのもちゅもえLv.89は倒錯する fact4: もしこのぽにゅぽなLv.95は移動し易いなら「それは明るい」ということは本当だ fact5: このぽにゅぽなLv.95は倒錯するとすれば「このまにゅまいLv.4は蒸し暑くない」ということは成り立たない
fact1 -> int1: このぽにゅぽなLv.95は倒錯する; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
このまにゅまいLv.4は蒸し暑くない
$facts$ = fact1: このぽにゅぽなLv.95は倒錯する fact2: もしこのぽにゅぽなLv.95が明るいし蒸し暑いとするとこのまにゅまいLv.4は蒸し暑いということはない fact3: あのもちゅもえLv.89は倒錯する fact4: もしこのぽにゅぽなLv.95は移動し易いなら「それは明るい」ということは本当だ fact5: このぽにゅぽなLv.95は倒錯するとすれば「このまにゅまいLv.4は蒸し暑くない」ということは成り立たない ; $hypothesis$ = このまにゅまいLv.4は蒸し暑くない ; $proof$ = 
fact1 -> int1: このぽにゅぽなLv.95は倒錯する; int1 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__