まにょまのLv.90事件が起こる
fact1: もし「長ーいということが起きるし乗り越えることは発生しない」ということは嘘なら連続することが生じる fact2: 「ぷやぷやLv.64事件は発生しなくて連続することが起きる」ということは偽だとすれば連続することは起こらない fact3: 「「長ーいということは発生するし乗り越えることは発生しない」ということは誤っている」ということは成り立つ fact4: 「まにょまのLv.90事件およびもよもちゃLv.44事件両方が起こる」ということは間違いであるとすればもよもちゃLv.44事件は発生しない fact5: ぴにゅぴちゅLv.4事件が起こるということは踏み殺すことを生じさせる fact6: 「もよもちゃLv.44事件が生じるかまたは連続することが起こるかもしくは両方だ」ということはまにょまのLv.90事件は起きないということを生じさせる fact7: 連続することは「乗り越えることが起こる」ということにより生じる fact8: もしももよもちゃLv.44事件は起きないならば「震盪することが生じるし活写することは生じない」ということは成り立たない
fact1 & fact3 -> int1: 連続することが起きる; int1 -> int2: もよもちゃLv.44事件かまたは連続することかもしくは両方ともが生じる; int2 & fact6 -> hypothesis;
fact1 & fact3 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact6 -> hypothesis;
まにょまのLv.90事件が起こる
$facts$ = fact1: もし「長ーいということが起きるし乗り越えることは発生しない」ということは嘘なら連続することが生じる fact2: 「ぷやぷやLv.64事件は発生しなくて連続することが起きる」ということは偽だとすれば連続することは起こらない fact3: 「「長ーいということは発生するし乗り越えることは発生しない」ということは誤っている」ということは成り立つ fact4: 「まにょまのLv.90事件およびもよもちゃLv.44事件両方が起こる」ということは間違いであるとすればもよもちゃLv.44事件は発生しない fact5: ぴにゅぴちゅLv.4事件が起こるということは踏み殺すことを生じさせる fact6: 「もよもちゃLv.44事件が生じるかまたは連続することが起こるかもしくは両方だ」ということはまにょまのLv.90事件は起きないということを生じさせる fact7: 連続することは「乗り越えることが起こる」ということにより生じる fact8: もしももよもちゃLv.44事件は起きないならば「震盪することが生じるし活写することは生じない」ということは成り立たない ; $hypothesis$ = まにょまのLv.90事件が起こる ; $proof$ = 
fact1 & fact3 -> int1: 連続することが起きる; int1 -> int2: もよもちゃLv.44事件かまたは連続することかもしくは両方ともが生じる; int2 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact6 -> hypothesis; __DISPROVED__