あのまゆまのLv.86は嫉妬深い
fact1: もしもあのまゆまのLv.86は取得し易いけど馬鹿でかくないとすればそれは嫉妬深いということはない fact2: 罪深くないモンスターが馬鹿でかくないなら取得し易くない fact3: もしも「このぴわぴいLv.38は注視する一方で嫉妬深くない」ということは成り立てばこのぴわぴいLv.38は馬鹿でかいということはない fact4: もしこのぴわぴいLv.38が馬鹿でかくないならばあのまゆまのLv.86は注視しない fact5: 仮にこのぴわぴいLv.38が注視しないとすればこのぴわぴいLv.38は罪深いということはないし馬鹿でかくない fact6: もしこのぴわぴいLv.38は取得し易くなくて注視しないなら「嫉妬深くない」ということは真実である fact7: 仮にあのまゆまのLv.86が馬鹿でかくないし回答するということはないならあのまゆまのLv.86は茶色っぽくない fact8: もしもこのぴわぴいLv.38は取得し易くないとすれば「あのまゆまのLv.86は嫉妬深くない」ということは成り立つ fact9: 「このぴわぴいLv.38は注視するということはない」ということは誤りでない
fact2 -> int1: もし仮にこのぴわぴいLv.38は罪深くないしまた馬鹿でかくないならばそれは取得し易くない; fact9 & fact5 -> int2: このぴわぴいLv.38は罪深くないしそれは馬鹿でかくない; int1 & int2 -> int3: このぴわぴいLv.38は取得し易いということはない; int3 & fact8 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact9 & fact5 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact8 -> hypothesis;
$facts$ = fact1: もしもあのまゆまのLv.86は取得し易いけど馬鹿でかくないとすればそれは嫉妬深いということはない fact2: 罪深くないモンスターが馬鹿でかくないなら取得し易くない fact3: もしも「このぴわぴいLv.38は注視する一方で嫉妬深くない」ということは成り立てばこのぴわぴいLv.38は馬鹿でかいということはない fact4: もしこのぴわぴいLv.38が馬鹿でかくないならばあのまゆまのLv.86は注視しない fact5: 仮にこのぴわぴいLv.38が注視しないとすればこのぴわぴいLv.38は罪深いということはないし馬鹿でかくない fact6: もしこのぴわぴいLv.38は取得し易くなくて注視しないなら「嫉妬深くない」ということは真実である fact7: 仮にあのまゆまのLv.86が馬鹿でかくないし回答するということはないならあのまゆまのLv.86は茶色っぽくない fact8: もしもこのぴわぴいLv.38は取得し易くないとすれば「あのまゆまのLv.86は嫉妬深くない」ということは成り立つ fact9: 「このぴわぴいLv.38は注視するということはない」ということは誤りでない ; $hypothesis$ = あのまゆまのLv.86は嫉妬深い ; $proof$ = 
fact2 -> int1: もし仮にこのぴわぴいLv.38は罪深くないしまた馬鹿でかくないならばそれは取得し易くない; fact9 & fact5 -> int2: このぴわぴいLv.38は罪深くないしそれは馬鹿でかくない; int1 & int2 -> int3: このぴわぴいLv.38は取得し易いということはない; int3 & fact8 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact9 & fact5 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact8 -> hypothesis; __DISPROVED__