「汚らわしいということが起きる」ということは事実である
fact1: もしぷにゃぷにょLv.39事件は起こらないなら「まえまえLv.14事件は起こらないしおまけに汚らわしいということは発生しない」ということは間違いである fact2: 汚らわしいということは発生しないということはまえまえLv.14事件およびぷにゃぷにょLv.39事件が生じるがきっかけである fact3: ぷにゃぷにょLv.39事件が起こる fact4: まえまえLv.14事件が起きる
fact4 & fact3 -> int1: まえまえLv.14事件が起こるしぷにゃぷにょLv.39事件が起きる; int1 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
「汚らわしいということが起きる」ということは事実である
$facts$ = fact1: もしぷにゃぷにょLv.39事件は起こらないなら「まえまえLv.14事件は起こらないしおまけに汚らわしいということは発生しない」ということは間違いである fact2: 汚らわしいということは発生しないということはまえまえLv.14事件およびぷにゃぷにょLv.39事件が生じるがきっかけである fact3: ぷにゃぷにょLv.39事件が起こる fact4: まえまえLv.14事件が起きる ; $hypothesis$ = 「汚らわしいということが起きる」ということは事実である ; $proof$ = 
fact4 & fact3 -> int1: まえまえLv.14事件が起こるしぷにゃぷにょLv.39事件が起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__