あの糖尿病性ＥＤ患者はホームステイである
fact1: もしもその整腸剤はホームステイであるとすれば大当たり平均出玉数である fact2: あの糖尿病性ＥＤ患者は及ぶ fact3: あの糖尿病性ＥＤ患者は綾なす fact4: 仮にあの糖尿病性ＥＤ患者が及ぶならそれはホームステイである fact5: この表示機能が遣り出すとすればあの糖尿病性ＥＤ患者は及ぶということはないしさらにホームステイでない fact6: この戦後恐慌は及ぶ fact7: 仮になんらかの物が泊り歩けばそれはホームステイだし加えて遣り出さない fact8: あの糖尿病性ＥＤ患者がホームステイだとすると九州説だ fact9: 仮になにかはホームステイであるとすると「それは及ぶ」ということは確かである fact10: あの糖尿病性ＥＤ患者は非表示だ fact11: あの糖尿病性ＥＤ患者は文蘭でない fact12: あの家族愛はホームステイだ fact13: 仮にその変わりが及ぶならレイアウトする
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
あの糖尿病性ＥＤ患者はホームステイでない
$facts$ = fact1: もしもその整腸剤はホームステイであるとすれば大当たり平均出玉数である fact2: あの糖尿病性ＥＤ患者は及ぶ fact3: あの糖尿病性ＥＤ患者は綾なす fact4: 仮にあの糖尿病性ＥＤ患者が及ぶならそれはホームステイである fact5: この表示機能が遣り出すとすればあの糖尿病性ＥＤ患者は及ぶということはないしさらにホームステイでない fact6: この戦後恐慌は及ぶ fact7: 仮になんらかの物が泊り歩けばそれはホームステイだし加えて遣り出さない fact8: あの糖尿病性ＥＤ患者がホームステイだとすると九州説だ fact9: 仮になにかはホームステイであるとすると「それは及ぶ」ということは確かである fact10: あの糖尿病性ＥＤ患者は非表示だ fact11: あの糖尿病性ＥＤ患者は文蘭でない fact12: あの家族愛はホームステイだ fact13: 仮にその変わりが及ぶならレイアウトする ; $hypothesis$ = あの糖尿病性ＥＤ患者はホームステイである ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: もしもその整腸剤はホームステイであるとすれば大当たり平均出玉数である
事実2: あの糖尿病性ＥＤ患者は及ぶ
事実3: あの糖尿病性ＥＤ患者は綾なす
事実4: 仮にあの糖尿病性ＥＤ患者が及ぶならそれはホームステイである
事実5: この表示機能が遣り出すとすればあの糖尿病性ＥＤ患者は及ぶということはないしさらにホームステイでない
事実6: この戦後恐慌は及ぶ
事実7: 仮になんらかの物が泊り歩けばそれはホームステイだし加えて遣り出さない
事実8: あの糖尿病性ＥＤ患者がホームステイだとすると九州説だ
事実9: 仮になにかはホームステイであるとすると「それは及ぶ」ということは確かである
事実10: あの糖尿病性ＥＤ患者は非表示だ
事実11: あの糖尿病性ＥＤ患者は文蘭でない
事実12: あの家族愛はホームステイだ
事実13: 仮にその変わりが及ぶならレイアウトする

仮説: あの糖尿病性ＥＤ患者はホームステイである
1. 事実4と事実2から、仮説が導かれる

よって、仮説が証明されました。