あのもにょもねLv.6は探し易くない
fact1: このぷのぷゆLv.11は気の毒過ぎるということはないしやくざっぽくない fact2: このぷのぷゆLv.11が気の毒過ぎないならそれはちょろいかあるいはそれは人間っぽいかもしくはどちらもだ fact3: 全てのモンスターは探し易い fact4: そのぽわぽにLv.84が人間っぽいししかも上昇し易いとすればそのぴくぴいLv.48は東進しない fact5: もし仮にそのぴくぴいLv.48が東進しないならばあのもにょもねLv.6はちっこくないしそれは探し易くない
fact3 -> int1: 全てのモンスターは探し易い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あのもにょもねLv.6は探し易くない
fact6 -> int2: このぷのぷゆLv.11は気の毒過ぎない; fact8 & int2 -> int3: このぷのぷゆLv.11はちょろいかまたはそれは人間っぽい;
$facts$ = fact1: このぷのぷゆLv.11は気の毒過ぎるということはないしやくざっぽくない fact2: このぷのぷゆLv.11が気の毒過ぎないならそれはちょろいかあるいはそれは人間っぽいかもしくはどちらもだ fact3: 全てのモンスターは探し易い fact4: そのぽわぽにLv.84が人間っぽいししかも上昇し易いとすればそのぴくぴいLv.48は東進しない fact5: もし仮にそのぴくぴいLv.48が東進しないならばあのもにょもねLv.6はちっこくないしそれは探し易くない ; $hypothesis$ = あのもにょもねLv.6は探し易くない ; $proof$ = 
fact3 -> int1: 全てのモンスターは探し易い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__