あのぽのぽのLv.87は子供らしい
fact1: 「このぽにょぽにゃLv.70は酒臭くないかそれは罹患し易くないか両方だ」ということは成り立たないならばあのぽのぽのLv.87はかったるい fact2: それは酒臭くないかあるいはそれは罹患し易くないかもしくはどちらもであるというモンスターはない fact3: あのぴにゃぴくLv.31は罹患し易い fact4: もしもあのぽのぽのLv.87がかったるいとするとあのぽのぽのLv.87は子供らしい
fact2 -> int1: 「このぽにょぽにゃLv.70は酒臭くないかまたはそれは罹患し易いということはない」ということは誤りだ; int1 & fact1 -> int2: あのぽのぽのLv.87はかったるい; int2 & fact4 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: {A}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 「このぽにょぽにゃLv.70は酒臭くないかそれは罹患し易くないか両方だ」ということは成り立たないならばあのぽのぽのLv.87はかったるい fact2: それは酒臭くないかあるいはそれは罹患し易くないかもしくはどちらもであるというモンスターはない fact3: あのぴにゃぴくLv.31は罹患し易い fact4: もしもあのぽのぽのLv.87がかったるいとするとあのぽのぽのLv.87は子供らしい ; $hypothesis$ = あのぽのぽのLv.87は子供らしい ; $proof$ = 
fact2 -> int1: 「このぽにょぽにゃLv.70は酒臭くないかまたはそれは罹患し易いということはない」ということは誤りだ; int1 & fact1 -> int2: あのぽのぽのLv.87はかったるい; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: {A}{a}; int2 & fact4 -> hypothesis; __PROVED__