退散することが起こる
fact1: 「汗臭いということが発生する」ということは誤っていない fact2: 錆無いということは「探し易いということは起きなくて悪賢いということは生じない」ということに帰結する fact3: 「ぴいぴえLv.15事件が起こるし加えて錆無いということが起きる」ということはぷにゃぷちゅLv.68事件が生じないということはきっかけである fact4: 独り言つことが起きるか悪賢いということが起こるかあるいは両方ともなら退散することは起きない fact5: 独り言つことが起こる fact6: 運転し易いということは生じない
fact5 -> int1: 独り言つことが起きるかもしくは悪賢いということが起こる; int1 & fact4 -> hypothesis;
fact5 -> int1: ({A} v {B}); int1 & fact4 -> hypothesis;
退散することが起こる
$facts$ = fact1: 「汗臭いということが発生する」ということは誤っていない fact2: 錆無いということは「探し易いということは起きなくて悪賢いということは生じない」ということに帰結する fact3: 「ぴいぴえLv.15事件が起こるし加えて錆無いということが起きる」ということはぷにゃぷちゅLv.68事件が生じないということはきっかけである fact4: 独り言つことが起きるか悪賢いということが起こるかあるいは両方ともなら退散することは起きない fact5: 独り言つことが起こる fact6: 運転し易いということは生じない ; $hypothesis$ = 退散することが起こる ; $proof$ = 
fact5 -> int1: 独り言つことが起きるかもしくは悪賢いということが起こる; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A} v {B}); int1 & fact4 -> hypothesis; __DISPROVED__