「照れ臭いということともちゃもえLv.79事件両方ともが発生する」ということは成り立たない
fact1: もし仮にもちゃもえLv.79事件は生じないならば照れ臭いということおよび繰り替えること両方ともが起こる fact2: 「照れ臭いということが発生する」ということは成り立つ fact3: 「止む無いということおよび意義深いということが生じる」ということは成り立たないならぷいぷねLv.99事件は起きない fact4: ぷいぷねLv.99事件は生じないとしたら「照れ臭いということおよびもちゃもえLv.79事件どちらもが起きる」ということは間違いである fact5: もちゃもえLv.79事件が起こる fact6: もしもよもやLv.89事件は発生しないとすると「「止む無いということおよび意義深いということが生じる」ということは事実だということはない」ということは本当である
fact2 -> int1: 「照れ臭いということが発生する」ということは成り立つ; int1 & fact5 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> hypothesis;
繰り替えることが起こる
$facts$ = fact1: もし仮にもちゃもえLv.79事件は生じないならば照れ臭いということおよび繰り替えること両方ともが起こる fact2: 「照れ臭いということが発生する」ということは成り立つ fact3: 「止む無いということおよび意義深いということが生じる」ということは成り立たないならぷいぷねLv.99事件は起きない fact4: ぷいぷねLv.99事件は生じないとしたら「照れ臭いということおよびもちゃもえLv.79事件どちらもが起きる」ということは間違いである fact5: もちゃもえLv.79事件が起こる fact6: もしもよもやLv.89事件は発生しないとすると「「止む無いということおよび意義深いということが生じる」ということは事実だということはない」ということは本当である ; $hypothesis$ = 「照れ臭いということともちゃもえLv.79事件両方ともが発生する」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「照れ臭いということが発生する」ということは成り立つ; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact5 -> hypothesis; __DISPROVED__