「このまにまくLv.31はくどいかまたはし難くない」ということは成り立たない
fact1: 「そのもゆもちゃLv.62がくどいということはないならこのまにまくLv.31はくどいかそれはし難いということはないかあるいは両方である」ということは正しい fact2: もしもこのぷちゃぷねLv.51が例外無いかまたは生まれ易くないかまたは両方ともだとすれば「そのもゆもちゃLv.62はくどくない」ということは事実だ fact3: そのもゆもちゃLv.62はし難くない fact4: このぷちゃぷねLv.51は例外無いかまたはそれは生まれ易くない fact5: 「くどくないモンスターはし難いかおっかしくないかもしくは両方ともだ」ということは事実である
fact2 & fact4 -> int1: そのもゆもちゃLv.62はくどくない; int1 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ¬{B}{b}; int1 & fact1 -> hypothesis;
このもにゃもにゃLv.27はし難いかまたはおっかしいということはない
fact6 -> int2: もし仮に「このもにゃもにゃLv.27はくどくない」ということは偽でないとすればこのもにゃもにゃLv.27はし難いかまたはおっかしくない;
$facts$ = fact1: 「そのもゆもちゃLv.62がくどいということはないならこのまにまくLv.31はくどいかそれはし難いということはないかあるいは両方である」ということは正しい fact2: もしもこのぷちゃぷねLv.51が例外無いかまたは生まれ易くないかまたは両方ともだとすれば「そのもゆもちゃLv.62はくどくない」ということは事実だ fact3: そのもゆもちゃLv.62はし難くない fact4: このぷちゃぷねLv.51は例外無いかまたはそれは生まれ易くない fact5: 「くどくないモンスターはし難いかおっかしくないかもしくは両方ともだ」ということは事実である ; $hypothesis$ = 「このまにまくLv.31はくどいかまたはし難くない」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> int1: そのもゆもちゃLv.62はくどくない; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: ¬{B}{b}; int1 & fact1 -> hypothesis; __DISPROVED__