このぷいぷいLv.57は愛らしい
fact1: このぷいぷいLv.57は近付き難い fact2: もし「「このぷいぷいLv.57は離脱出来るかそれは多しないかまたは両方ともである」ということは誤りである」ということは本当であるならばそれは愛らしくない fact3: 「「あのもちょもゆLv.10は多しか相談し易い」ということは間違っている」ということは確かならばあのもちょもゆLv.10は実行し易くない fact4: 「このぷいぷいLv.57は離脱出来るかあるいはそれは多しないかもしくは両方ともである」ということは事実と異なる
fact4 -> int1: 「このぷいぷいLv.57は離脱出来るかあるいはそれは多しないかもしくは両方ともである」ということは事実と異なる; int1 & fact2 -> hypothesis;
fact4 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: このぷいぷいLv.57は近付き難い fact2: もし「「このぷいぷいLv.57は離脱出来るかそれは多しないかまたは両方ともである」ということは誤りである」ということは本当であるならばそれは愛らしくない fact3: 「「あのもちょもゆLv.10は多しか相談し易い」ということは間違っている」ということは確かならばあのもちょもゆLv.10は実行し易くない fact4: 「このぷいぷいLv.57は離脱出来るかあるいはそれは多しないかもしくは両方ともである」ということは事実と異なる ; $hypothesis$ = このぷいぷいLv.57は愛らしい ; $proof$ = 
fact4 -> int1: 「このぷいぷいLv.57は離脱出来るかあるいはそれは多しないかもしくは両方ともである」ということは事実と異なる; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact2 -> hypothesis; __DISPROVED__