あのまちゃまやLv.47は掻っ攫うしかつそれは楽観出来る
fact1: もしもこのまにょまわLv.37は反応し易いとすれば「そのもにゃものLv.44は吸収され易くないし加えて管理し易くない」ということは偽だ fact2: もしもそのみゆみなLv.42は設営しないなら「あのまちゃまやLv.47は掻っ攫うし加えて楽観出来る」ということは確かだということはない fact3: 仮に「そのもにゃものLv.44は吸収され易くなくてまたそれは管理し易いということはない」ということは成り立たないとするとそのみゆみなLv.42は設営しない fact4: あのまちゃまやLv.47は餓鬼っぽくてまた掻っ攫う fact5: 「このまにょまわLv.37は反応し易くない」ということは誤っている
fact1 & fact5 -> int1: 「「そのもにゃものLv.44は吸収され易くないしそれに管理し易くない」ということは成り立つ」ということは成り立つということはない; int1 & fact3 -> int2: 「そのみゆみなLv.42は設営しない」ということは本当である; int2 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact2 -> hypothesis;
あのまちゃまやLv.47は掻っ攫うしかつそれは楽観出来る
fact6 -> int3: 「あのまちゃまやLv.47は掻っ攫う」ということは真実だ;
$facts$ = fact1: もしもこのまにょまわLv.37は反応し易いとすれば「そのもにゃものLv.44は吸収され易くないし加えて管理し易くない」ということは偽だ fact2: もしもそのみゆみなLv.42は設営しないなら「あのまちゃまやLv.47は掻っ攫うし加えて楽観出来る」ということは確かだということはない fact3: 仮に「そのもにゃものLv.44は吸収され易くなくてまたそれは管理し易いということはない」ということは成り立たないとするとそのみゆみなLv.42は設営しない fact4: あのまちゃまやLv.47は餓鬼っぽくてまた掻っ攫う fact5: 「このまにょまわLv.37は反応し易くない」ということは誤っている ; $hypothesis$ = あのまちゃまやLv.47は掻っ攫うしかつそれは楽観出来る ; $proof$ = 
fact1 & fact5 -> int1: 「「そのもにゃものLv.44は吸収され易くないしそれに管理し易くない」ということは成り立つ」ということは成り立つということはない; int1 & fact3 -> int2: 「そのみゆみなLv.42は設営しない」ということは本当である; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact2 -> hypothesis; __DISPROVED__