奥深いということが発生する
fact1: 進め易いということが起きるかもしくはぷわぷねLv.11事件は発生しない fact2: ぷちゃぷちゅLv.61事件とぷちゅぷにょLv.65事件両方ともが生じる fact3: 重過ぎることが「ぽいぽえLv.85事件が発生する」ということはきっかけである fact4: 重過ぎることかあるいは「まやまちゃLv.61事件は生じない」ということかもしくはどちらもは奥深いということは発生しないということを招く fact5: もしみちゅみちゃLv.14事件が生じないならばまやまにゅLv.3事件は起きない fact6: 見窄らしいということは生じ易いということは起きないということに阻止される fact7: もし知り合いらしいということが起こるかもしくは切り難いということは起きないかもしくは両方ともであるとするとぽねぽにLv.32事件は起きない
fact2 -> int1: 「ぷちゅぷにょLv.65事件が生じる」ということは本当である;
fact2 -> int1: {B};
$facts$ = fact1: 進め易いということが起きるかもしくはぷわぷねLv.11事件は発生しない fact2: ぷちゃぷちゅLv.61事件とぷちゅぷにょLv.65事件両方ともが生じる fact3: 重過ぎることが「ぽいぽえLv.85事件が発生する」ということはきっかけである fact4: 重過ぎることかあるいは「まやまちゃLv.61事件は生じない」ということかもしくはどちらもは奥深いということは発生しないということを招く fact5: もしみちゅみちゃLv.14事件が生じないならばまやまにゅLv.3事件は起きない fact6: 見窄らしいということは生じ易いということは起きないということに阻止される fact7: もし知り合いらしいということが起こるかもしくは切り難いということは起きないかもしくは両方ともであるとするとぽねぽにLv.32事件は起きない ; $hypothesis$ = 奥深いということが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__