あのビンゴゲームは鼓動するけど射撃しない
fact1: あのビンゴゲームは射撃しない fact2: もしもその炊き立てが勤労者世帯でないとすればあのビンゴゲームは感じ難くて漏れ聞く fact3: もし仮にとあるものが漏れ聞くということはないとしたらそれは鼓動する一方で射撃しない fact4: もしあの皮膚感覚が十〜十五センチメートル上であるとするとあの製造業者売り上げ税は青黒くない fact5: このイタリア内は鼓動しない fact6: もしなにがしかの物が退行催眠でないとすればトビクライでない fact7: あのビンゴゲームが蹂躙しないならば把握し辛くない fact8: もしあのビンゴゲームが感じ難くないとすると漏れ聞かない fact9: なんらかの物は漏れ聞くとしたら「それは鼓動するしかつそれは射撃するということはない」ということは偽だ fact10: 「青黒くないものは行き易いない」ということは真実だ fact11: 仮にあの製造業者売り上げ税が行き易いということはないならばその炊き立ては勤労者世帯でない fact12: 仮にあのビンゴゲームが漏れ聞くということはないならば射撃しない fact13: もし仮に「あのビンゴゲームは捕らわれ易くない」ということは本当であるなら射撃するがしかし相応しかない fact14: あのビンゴゲームは感じ難くない
fact3 -> int1: もしもあのビンゴゲームが漏れ聞かないとすればそれは鼓動するけれど射撃しない; fact14 & fact8 -> int2: あのビンゴゲームは漏れ聞くということはない; int1 & int2 -> hypothesis;
「あのビンゴゲームは鼓動するがしかしそれは射撃しない」ということは誤っている
fact19 -> int3: もしも「あのビンゴゲームは漏れ聞く」ということは成り立てば「それは鼓動するがしかし射撃するということはない」ということは偽だ; fact18 -> int4: あの製造業者売り上げ税は青黒くないならそれは行き易いない;
$facts$ = fact1: あのビンゴゲームは射撃しない fact2: もしもその炊き立てが勤労者世帯でないとすればあのビンゴゲームは感じ難くて漏れ聞く fact3: もし仮にとあるものが漏れ聞くということはないとしたらそれは鼓動する一方で射撃しない fact4: もしあの皮膚感覚が十〜十五センチメートル上であるとするとあの製造業者売り上げ税は青黒くない fact5: このイタリア内は鼓動しない fact6: もしなにがしかの物が退行催眠でないとすればトビクライでない fact7: あのビンゴゲームが蹂躙しないならば把握し辛くない fact8: もしあのビンゴゲームが感じ難くないとすると漏れ聞かない fact9: なんらかの物は漏れ聞くとしたら「それは鼓動するしかつそれは射撃するということはない」ということは偽だ fact10: 「青黒くないものは行き易いない」ということは真実だ fact11: 仮にあの製造業者売り上げ税が行き易いということはないならばその炊き立ては勤労者世帯でない fact12: 仮にあのビンゴゲームが漏れ聞くということはないならば射撃しない fact13: もし仮に「あのビンゴゲームは捕らわれ易くない」ということは本当であるなら射撃するがしかし相応しかない fact14: あのビンゴゲームは感じ難くない ; $hypothesis$ = あのビンゴゲームは鼓動するけど射撃しない ; $proof$ = 
fact3 -> int1: もしもあのビンゴゲームが漏れ聞かないとすればそれは鼓動するけれど射撃しない; fact14 & fact8 -> int2: あのビンゴゲームは漏れ聞くということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: あのビンゴゲームは射撃しない
事実2: もしもその炊き立てが勤労者世帯でないとすればあのビンゴゲームは感じ難くて漏れ聞く
事実3: もし仮にとあるものが漏れ聞くということはないとしたらそれは鼓動する一方で射撃しない
事実4: もしあの皮膚感覚が十〜十五センチメートル上であるとするとあの製造業者売り上げ税は青黒くない
事実5: このイタリア内は鼓動しない
事実6: もしなにがしかの物が退行催眠でないとすればトビクライでない
事実7: あのビンゴゲームが蹂躙しないならば把握し辛くない
事実8: もしあのビンゴゲームが感じ難くないとすると漏れ聞かない
事実9: なんらかの物は漏れ聞くとしたら「それは鼓動するしかつそれは射撃するということはない」ということは偽だ
事実10: 「青黒くないものは行き易いない」ということは真実だ
事実11: 仮にあの製造業者売り上げ税が行き易いということはないならばその炊き立ては勤労者世帯でない
事実12: 仮にあのビンゴゲームが漏れ聞くということはないならば射撃しない
事実13: もし仮に「あのビンゴゲームは捕らわれ易くない」ということは本当であるなら射撃するがしかし相応しかない
事実14: あのビンゴゲームは感じ難くない

仮説: あのビンゴゲームは鼓動するけど射撃しない
1. 事実3から、推論1: "もしもあのビンゴゲームが漏れ聞かないとすればそれは鼓動するけれど射撃しない"が導かれる
2. 事実14と事実8から、推論2: "あのビンゴゲームは漏れ聞くということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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