「このみいみよLv.60は控除するということはない」ということは成り立つ
fact1: むず痒くないモンスターは控除するし間借りする fact2: このぴわぴえLv.24が睥睨するしそれがむず痒いとすればこのみいみよLv.60は控除しない fact3: このぴわぴえLv.24は睥睨する fact4: このまのまちゃLv.88は間借りする fact5: もし「なんらかのモンスターは大人らしくない一方でそれは打ち上がり易い」ということは誤っていればそれは睥睨するということはない fact6: 「あのもちゅもやLv.70は控除する」ということは成り立つ fact7: このまのまちゃLv.88は嫉妬深いし引き受ける fact8: もしもこのまのまちゃLv.88が間借りすればこのぴわぴえLv.24はむず痒い fact9: そのぴくぴにゅLv.72は間借りするし更にそれは依怙贔屓する
fact8 & fact4 -> int1: このぴわぴえLv.24はむず痒い; int1 & fact3 -> int2: このぴわぴえLv.24は睥睨するしさらにむず痒い; int2 & fact2 -> hypothesis;
fact8 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 & fact2 -> hypothesis;
「このみいみよLv.60は控除する」ということは真実である
fact11 -> int3: もしこのみいみよLv.60がむず痒くないならばこのみいみよLv.60は控除するし間借りする; fact10 -> int4: もしも「このみいみよLv.60は大人らしくないけれど打ち上がり易い」ということは成り立つということはないとしたらこのみいみよLv.60は睥睨しない;
$facts$ = fact1: むず痒くないモンスターは控除するし間借りする fact2: このぴわぴえLv.24が睥睨するしそれがむず痒いとすればこのみいみよLv.60は控除しない fact3: このぴわぴえLv.24は睥睨する fact4: このまのまちゃLv.88は間借りする fact5: もし「なんらかのモンスターは大人らしくない一方でそれは打ち上がり易い」ということは誤っていればそれは睥睨するということはない fact6: 「あのもちゅもやLv.70は控除する」ということは成り立つ fact7: このまのまちゃLv.88は嫉妬深いし引き受ける fact8: もしもこのまのまちゃLv.88が間借りすればこのぴわぴえLv.24はむず痒い fact9: そのぴくぴにゅLv.72は間借りするし更にそれは依怙贔屓する ; $hypothesis$ = 「このみいみよLv.60は控除するということはない」ということは成り立つ ; $proof$ = 
fact8 & fact4 -> int1: このぴわぴえLv.24はむず痒い; int1 & fact3 -> int2: このぴわぴえLv.24は睥睨するしさらにむず痒い; int2 & fact2 -> hypothesis; __PROVED__
fact8 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 & fact2 -> hypothesis; __PROVED__