あの大型テレビは採用出来る
fact1: もしもこのＳ字がドロップアウトするとするとあのＣＭは馴れ馴れしくないけれど自動作成する fact2: 仮にとあるものはサドであるということはないとすると「憎み合うということはないしさらにそれは採用出来る」ということは成り立つということはない fact3: もしなんらかの物は徒らっぽいなら「それはＲＥネットでないか一体化するということはないか両方ともである」ということは間違っている fact4: もしもなにがしかの物がめぼしいとすれば舞い始める fact5: もし「何かは憎み合わないがしかし採用出来る」ということは誤っているなら採用出来ない fact6: めぼしくない物はサドであるかまたは舞い始めるかあるいはどちらもである fact7: もしもとある物はＲＥネットでないなら励行だしその上ドロップアウトする fact8: 仮に「個人目標であるということはなくて御労しい」ものはあるとすると「あの合併特例法は徒らっぽい」ということは真実だ fact9: もし「あの合併特例法はＲＥネットでないか一体化するということはないかまたは両方ともである」ということは間違いだとすればあのＳ字はＲＥネットだということはない fact10: あの代休はきつくないがしかし立て難い fact11: もしその症状等がサドならあのＣＭは憎み合う fact12: 仮にあのＣＭが馴れ馴れしくないけれど自動作成するとするとその症状等はめぼしくない fact13: もしもあのＣＭが憎み合うとしたらこのＳ字はめぼしい fact14: もし仮に「このＳ字は舞い始める」ということは正しいならあの大型テレビは採用出来る fact15: 「その症状等はサドだ」ということは正しい fact16: その症状等は舞い始める fact17: 立て難いものは個人目標でないけど御労しい fact18: もしその症状等が採用出来ればそれはサドである fact19: 「このＳ字はサドだ」ということは成り立つ fact20: その症状等は憎み合う fact21: もし仮に「「何かは憎み合わないがそれはサドだ」ということは真実である」ということは事実と異なればそれは採用出来ない fact22: このＳ字は採用出来る
fact11 & fact15 -> int1: あのＣＭは憎み合う; int1 & fact13 -> int2: このＳ字はめぼしい; fact4 -> int3: もしも「このＳ字はめぼしくない」ということは偽だとすると「舞い始める」ということは事実と異ならない; int2 & int3 -> int4: このＳ字は舞い始める; int4 & fact14 -> hypothesis;
あの大型テレビは採用出来るということはない
fact23 -> int5: 「あの大型テレビは憎み合わないがしかしサドである」ということは確かでないならそれは採用出来るということはない;
$facts$ = fact1: もしもこのＳ字がドロップアウトするとするとあのＣＭは馴れ馴れしくないけれど自動作成する fact2: 仮にとあるものはサドであるということはないとすると「憎み合うということはないしさらにそれは採用出来る」ということは成り立つということはない fact3: もしなんらかの物は徒らっぽいなら「それはＲＥネットでないか一体化するということはないか両方ともである」ということは間違っている fact4: もしもなにがしかの物がめぼしいとすれば舞い始める fact5: もし「何かは憎み合わないがしかし採用出来る」ということは誤っているなら採用出来ない fact6: めぼしくない物はサドであるかまたは舞い始めるかあるいはどちらもである fact7: もしもとある物はＲＥネットでないなら励行だしその上ドロップアウトする fact8: 仮に「個人目標であるということはなくて御労しい」ものはあるとすると「あの合併特例法は徒らっぽい」ということは真実だ fact9: もし「あの合併特例法はＲＥネットでないか一体化するということはないかまたは両方ともである」ということは間違いだとすればあのＳ字はＲＥネットだということはない fact10: あの代休はきつくないがしかし立て難い fact11: もしその症状等がサドならあのＣＭは憎み合う fact12: 仮にあのＣＭが馴れ馴れしくないけれど自動作成するとするとその症状等はめぼしくない fact13: もしもあのＣＭが憎み合うとしたらこのＳ字はめぼしい fact14: もし仮に「このＳ字は舞い始める」ということは正しいならあの大型テレビは採用出来る fact15: 「その症状等はサドだ」ということは正しい fact16: その症状等は舞い始める fact17: 立て難いものは個人目標でないけど御労しい fact18: もしその症状等が採用出来ればそれはサドである fact19: 「このＳ字はサドだ」ということは成り立つ fact20: その症状等は憎み合う fact21: もし仮に「「何かは憎み合わないがそれはサドだ」ということは真実である」ということは事実と異なればそれは採用出来ない fact22: このＳ字は採用出来る ; $hypothesis$ = あの大型テレビは採用出来る ; $proof$ = 
fact11 & fact15 -> int1: あのＣＭは憎み合う; int1 & fact13 -> int2: このＳ字はめぼしい; fact4 -> int3: もしも「このＳ字はめぼしくない」ということは偽だとすると「舞い始める」ということは事実と異ならない; int2 & int3 -> int4: このＳ字は舞い始める; int4 & fact14 -> hypothesis; __PROVED__
事実1: もしもこのＳ字がドロップアウトするとするとあのＣＭは馴れ馴れしくないけれど自動作成する
事実2: 仮にとあるものはサドであるということはないとすると「憎み合うということはないしさらにそれは採用出来る」ということは成り立つということはない
事実3: もしなんらかの物は徒らっぽいなら「それはＲＥネットでないか一体化するということはないか両方ともである」ということは間違っている
事実4: もしもなにがしかの物がめぼしいとすれば舞い始める
事実5: もし「何かは憎み合わないがしかし採用出来る」ということは誤っているなら採用出来ない
事実6: めぼしくない物はサドであるかまたは舞い始めるかあるいはどちらもである
事実7: もしもとある物はＲＥネットでないなら励行だしその上ドロップアウトする
事実8: 仮に「個人目標であるということはなくて御労しい」ものはあるとすると「あの合併特例法は徒らっぽい」ということは真実だ
事実9: もし「あの合併特例法はＲＥネットでないか一体化するということはないかまたは両方ともである」ということは間違いだとすればあのＳ字はＲＥネットだということはない
事実10: あの代休はきつくないがしかし立て難い
事実11: もしその症状等がサドならあのＣＭは憎み合う
事実12: 仮にあのＣＭが馴れ馴れしくないけれど自動作成するとするとその症状等はめぼしくない
事実13: もしもあのＣＭが憎み合うとしたらこのＳ字はめぼしい
事実14: もし仮に「このＳ字は舞い始める」ということは正しいならあの大型テレビは採用出来る
事実15: 「その症状等はサドだ」ということは正しい
事実16: その症状等は舞い始める
事実17: 立て難いものは個人目標でないけど御労しい
事実18: もしその症状等が採用出来ればそれはサドである
事実19: 「このＳ字はサドだ」ということは成り立つ
事実20: その症状等は憎み合う
事実21: もし仮に「「何かは憎み合わないがそれはサドだ」ということは真実である」ということは事実と異なればそれは採用出来ない
事実22: このＳ字は採用出来る

仮説: あの大型テレビは採用出来る
1. 事実11と事実15から、推論1: "あのＣＭは憎み合う"が導かれる
2. 推論1と事実13から、推論2: "このＳ字はめぼしい"が導かれる
3. 事実4から、推論3: "もしも「このＳ字はめぼしくない」ということは偽だとすると「舞い始める」ということは事実と異ならない"が導かれる
4. 推論2と推論3から、推論4: "このＳ字は舞い始める"が導かれる
5. 推論4と事実14から、仮説が導かれる

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