「そのぽちゃぽにゃLv.91は締めっぽいし加えて恨めしい」ということは偽だ
fact1: そのぽちゃぽにゃLv.91は恨めしい fact2: もしそのぽちゃぽにゃLv.91がしても良いとしたら締めっぽい fact3: そのぽちゃぽにゃLv.91はひょろ長いししても良い fact4: あのまちゅまちゃLv.48はしても良い fact5: そのぽちゃぽにゃLv.91は打ち難い fact6: このぽのぽちゃLv.39は締めっぽい fact7: そのぽちゃぽにゃLv.91は近い fact8: あのぽちゃぽにLv.70は締めっぽい
fact3 -> int1: そのぽちゃぽにゃLv.91はしても良い; int1 & fact2 -> int2: そのぽちゃぽにゃLv.91は締めっぽい; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: そのぽちゃぽにゃLv.91は恨めしい fact2: もしそのぽちゃぽにゃLv.91がしても良いとしたら締めっぽい fact3: そのぽちゃぽにゃLv.91はひょろ長いししても良い fact4: あのまちゅまちゃLv.48はしても良い fact5: そのぽちゃぽにゃLv.91は打ち難い fact6: このぽのぽちゃLv.39は締めっぽい fact7: そのぽちゃぽにゃLv.91は近い fact8: あのぽちゃぽにLv.70は締めっぽい ; $hypothesis$ = 「そのぽちゃぽにゃLv.91は締めっぽいし加えて恨めしい」ということは偽だ ; $proof$ = 
fact3 -> int1: そのぽちゃぽにゃLv.91はしても良い; int1 & fact2 -> int2: そのぽちゃぽにゃLv.91は締めっぽい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__