しょっぱいということが生じる
fact1: ぼろいということは起こらない fact2: 「長ーいということが起きるしぴくぴにLv.36事件が生じる」ということは「本当らしいということは起きない」ということにより生じる fact3: 本当らしいということは起きない fact4: しょっぱいということは生じないということは「長ーいということかもしくは油っぽいということは正しい」ということがきっかけだ fact5: みやみねLv.53事件は発生しない fact6: 溶け易いということが起きるということは「ぽにゅぽやLv.26事件は起こらない」ということを生じさせる fact7: みわみにLv.56事件が生じる fact8: ぴにゅぴちょLv.62事件が生じるし陥り易いということが生じる
fact2 & fact3 -> int1: 長ーいということおよびぴくぴにLv.36事件が発生する; int1 -> int2: 長ーいということが起こる; int2 -> int3: 長ーいということかまたは油っぽいということが起きる; int3 & fact4 -> hypothesis;
fact2 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact4 -> hypothesis;
$facts$ = fact1: ぼろいということは起こらない fact2: 「長ーいということが起きるしぴくぴにLv.36事件が生じる」ということは「本当らしいということは起きない」ということにより生じる fact3: 本当らしいということは起きない fact4: しょっぱいということは生じないということは「長ーいということかもしくは油っぽいということは正しい」ということがきっかけだ fact5: みやみねLv.53事件は発生しない fact6: 溶け易いということが起きるということは「ぽにゅぽやLv.26事件は起こらない」ということを生じさせる fact7: みわみにLv.56事件が生じる fact8: ぴにゅぴちょLv.62事件が生じるし陥り易いということが生じる ; $hypothesis$ = しょっぱいということが生じる ; $proof$ = 
fact2 & fact3 -> int1: 長ーいということおよびぴくぴにLv.36事件が発生する; int1 -> int2: 長ーいということが起こる; int2 -> int3: 長ーいということかまたは油っぽいということが起きる; int3 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact4 -> hypothesis; __DISPROVED__