そのもちゅもいLv.29は違いということはない
fact1: 「そのもちゅもいLv.29は思しかまたはそれは申し訳無いかあるいは両方だ」ということは誤りだ fact2: もし仮に「そのもちゅもいLv.29は香ばしいかあるいはみみっちいかあるいは両方ともだ」ということは嘘であるとすればそのもちゅもいLv.29は違くない fact3: あのぴよぴねLv.56は狭くない fact4: もし仮にあのぴよぴねLv.56は狭くないならば「そのもちゅもいLv.29は香ばしいかみみっちい」ということは真実であるということはない fact5: そのもちゅもいLv.29はみみっちくない fact6: 「あのぴよぴねLv.56はしつこいかまたはそれはみみっちい」ということは間違いである fact7: あのぴよぴねLv.56はみみっちくない fact8: もし仮にあのぴよぴねLv.56が狭くないならそのもちゅもいLv.29はみみっちくない
fact4 & fact3 -> int1: 「そのもちゅもいLv.29は香ばしいかみみっちいかまたは両方ともだ」ということは間違いである; int1 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「そのもちゅもいLv.29は思しかまたはそれは申し訳無いかあるいは両方だ」ということは誤りだ fact2: もし仮に「そのもちゅもいLv.29は香ばしいかあるいはみみっちいかあるいは両方ともだ」ということは嘘であるとすればそのもちゅもいLv.29は違くない fact3: あのぴよぴねLv.56は狭くない fact4: もし仮にあのぴよぴねLv.56は狭くないならば「そのもちゅもいLv.29は香ばしいかみみっちい」ということは真実であるということはない fact5: そのもちゅもいLv.29はみみっちくない fact6: 「あのぴよぴねLv.56はしつこいかまたはそれはみみっちい」ということは間違いである fact7: あのぴよぴねLv.56はみみっちくない fact8: もし仮にあのぴよぴねLv.56が狭くないならそのもちゅもいLv.29はみみっちくない ; $hypothesis$ = そのもちゅもいLv.29は違いということはない ; $proof$ = 
fact4 & fact3 -> int1: 「そのもちゅもいLv.29は香ばしいかみみっちいかまたは両方ともだ」ということは間違いである; int1 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact2 -> hypothesis; __PROVED__