しょっぱいということは起きない
fact1: もし「もちょもわLv.49事件が起こるししょっぱいということが起きる」ということは間違っているとしたらしょっぱいということは起こらない fact2: しょっぱいということはもちょもわLv.49事件に誘発される fact3: 得難しということが発生する fact4: 得難しということともちょもわLv.49事件両方ともが起きる
fact4 -> int1: 「もちょもわLv.49事件が起きる」ということは事実である; int1 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> hypothesis;
しょっぱいということは起きない
$facts$ = fact1: もし「もちょもわLv.49事件が起こるししょっぱいということが起きる」ということは間違っているとしたらしょっぱいということは起こらない fact2: しょっぱいということはもちょもわLv.49事件に誘発される fact3: 得難しということが発生する fact4: 得難しということともちょもわLv.49事件両方ともが起きる ; $hypothesis$ = しょっぱいということは起きない ; $proof$ = 
fact4 -> int1: 「もちょもわLv.49事件が起きる」ということは事実である; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact2 -> hypothesis; __DISPROVED__