このラジオは清国人であるしまたそれは山深い
fact1: その現代文は踏み鳴らす fact2: もしある物が鞣さなくてまたそれがすりゃ良くないとしたらそれは木の芽である fact3: もしもその意味・内容が木の芽であるとすればあのクレンメは木の芽でない fact4: もし「なんらかのものは運搬だということはない」ということは確かならば「それは清国人だし加えて山深い」ということは成り立たない fact5: もしも「あるものは答申しない」ということは正しいならばそれは怒鳴り込むし働き難い fact6: もし何らかのものは算入出来ないなら「庇い合うし加えて入れ易い」ということは成り立たない fact7: もしもあるものは運搬だということはないとすると「清国人であるしその上怒鳴り込む」ということは誤りである fact8: もし何かは怒鳴り込むがしかし木の芽でないとすれば「それは運搬だ」ということは事実である fact9: このラジオが答申するとすれば清国人である fact10: 仮にその使役が欲求しないとしたらその意味・内容は鞣すということはなくておまけにすりゃ良くない fact11: 「このラジオは山深いけど叫べるということはない」ということは事実と異なる fact12: 「このラジオが運搬だけど怒鳴り込まない」ということは成り立たない fact13: もし運搬はあるとすれば「このラジオは由官吏だが清国人でない」ということは事実と異なる fact14: そのスタンダードモデルが伝わり易いならばあの雪庇は伝わり易くない fact15: あの雪庇が伝わり易くないとすればその使役は欲求しない fact16: 「もしも「あのアルミニウム青銅は大田文だがしかし運搬だということはない」ということは偽だとすればあのアルミニウム青銅は大田文でない」ということは誤りだということはない fact17: もし「教室でなくてかつ踏み鳴らす」物があるとするとあのクレンメは答申しない fact18: その現代文は教室でない fact19: もしもそのスタンダードモデルが膨らむとすればあの雪庇は伝わり易くない fact20: もし仮に「このラジオは運搬であるけれど怒鳴り込むということはない」ということは間違っていれば運搬でない fact21: 全ての物は伝わり易いかもしくは膨らむか両方だ fact22: このラジオは吸息でないとしたら「それが清国人だしさらにそれは開墾する」ということは本当でない
fact4 -> int1: 仮にこのラジオは運搬でないなら「それは清国人であるしそれは山深い」ということは成り立たない; fact12 & fact20 -> int2: このラジオは運搬でない; int1 & int2 -> hypothesis;
このラジオは清国人であるし山深い
$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$ = 
fact4 -> int1: 仮にこのラジオは運搬でないなら「それは清国人であるしそれは山深い」ということは成り立たない; fact12 & fact20 -> int2: このラジオは運搬でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その現代文は踏み鳴らす
事実2: もしある物が鞣さなくてまたそれがすりゃ良くないとしたらそれは木の芽である
事実3: もしもその意味・内容が木の芽であるとすればあのクレンメは木の芽でない
事実4: もし「なんらかのものは運搬だということはない」ということは確かならば「それは清国人だし加えて山深い」ということは成り立たない
事実5: もしも「あるものは答申しない」ということは正しいならばそれは怒鳴り込むし働き難い
事実6: もし何らかのものは算入出来ないなら「庇い合うし加えて入れ易い」ということは成り立たない
事実7: もしもあるものは運搬だということはないとすると「清国人であるしその上怒鳴り込む」ということは誤りである
事実8: もし何かは怒鳴り込むがしかし木の芽でないとすれば「それは運搬だ」ということは事実である
事実9: このラジオが答申するとすれば清国人である
事実10: 仮にその使役が欲求しないとしたらその意味・内容は鞣すということはなくておまけにすりゃ良くない
事実11: 「このラジオは山深いけど叫べるということはない」ということは事実と異なる
事実12: 「このラジオが運搬だけど怒鳴り込まない」ということは成り立たない
事実13: もし運搬はあるとすれば「このラジオは由官吏だが清国人でない」ということは事実と異なる
事実14: そのスタンダードモデルが伝わり易いならばあの雪庇は伝わり易くない
事実15: あの雪庇が伝わり易くないとすればその使役は欲求しない
事実16: 「もしも「あのアルミニウム青銅は大田文だがしかし運搬だということはない」ということは偽だとすればあのアルミニウム青銅は大田文でない」ということは誤りだということはない
事実17: もし「教室でなくてかつ踏み鳴らす」物があるとするとあのクレンメは答申しない
事実18: その現代文は教室でない
事実19: もしもそのスタンダードモデルが膨らむとすればあの雪庇は伝わり易くない
事実20: もし仮に「このラジオは運搬であるけれど怒鳴り込むということはない」ということは間違っていれば運搬でない
事実21: 全ての物は伝わり易いかもしくは膨らむか両方だ
事実22: このラジオは吸息でないとしたら「それが清国人だしさらにそれは開墾する」ということは本当でない

仮説: このラジオは清国人であるしまたそれは山深い
1. 事実4から、推論1: "仮にこのラジオは運搬でないなら「それは清国人であるしそれは山深い」ということは成り立たない"が導かれる
2. 事実12と事実20から、推論2: "このラジオは運搬でない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。