狭苦しいということが起こる
fact1: 黙りこくることとみにょみちゅLv.56事件が起こる fact2: 「もやもゆLv.72事件が起こる」ということは嘘でない fact3: もしも汚れ難いということは発生しないしもやもゆLv.72事件が起こるとしたら狭苦しいということは起こらない fact4: 「黙りこくることが起こるしその上みにょみちゅLv.56事件が発生する」ということは「汚れ難いということは生じない」ということを生じさせる fact5: 「もやもゆLv.72事件は起こらない」ということは本当であるとすると「汚れ難いということが起こるかあるいは従軍することは発生しない」ということは事実だ fact6: もし仮に「みちょみにゃLv.7事件は生じないがもやもゆLv.72事件が生じる」ということは成り立たないとするともやもゆLv.72事件は起きない fact7: 黙りこくることが生じる fact8: 従軍することが発生しないということは汚れ難いということか従軍することは起きないということかあるいはどちらもに起因する
fact4 & fact1 -> int1: 汚れ難いということは起きない; int1 & fact2 -> int2: 「汚れ難いということではなくもやもゆLv.72事件が起こる」ということは正しい; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: ¬{B}; int1 & fact2 -> int2: (¬{B} & {A}); int2 & fact3 -> hypothesis;
従軍することは生じない
$facts$ = fact1: 黙りこくることとみにょみちゅLv.56事件が起こる fact2: 「もやもゆLv.72事件が起こる」ということは嘘でない fact3: もしも汚れ難いということは発生しないしもやもゆLv.72事件が起こるとしたら狭苦しいということは起こらない fact4: 「黙りこくることが起こるしその上みにょみちゅLv.56事件が発生する」ということは「汚れ難いということは生じない」ということを生じさせる fact5: 「もやもゆLv.72事件は起こらない」ということは本当であるとすると「汚れ難いということが起こるかあるいは従軍することは発生しない」ということは事実だ fact6: もし仮に「みちょみにゃLv.7事件は生じないがもやもゆLv.72事件が生じる」ということは成り立たないとするともやもゆLv.72事件は起きない fact7: 黙りこくることが生じる fact8: 従軍することが発生しないということは汚れ難いということか従軍することは起きないということかあるいはどちらもに起因する ; $hypothesis$ = 狭苦しいということが起こる ; $proof$ = 
fact4 & fact1 -> int1: 汚れ難いということは起きない; int1 & fact2 -> int2: 「汚れ難いということではなくもやもゆLv.72事件が起こる」ということは正しい; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: ¬{B}; int1 & fact2 -> int2: (¬{B} & {A}); int2 & fact3 -> hypothesis; __DISPROVED__