その侍医は本当らしい
fact1: もし「あの妥当性等は本当らしくないけど折れ易い」ということは成り立たないとすればその侍医はセロファン・ファラシーでない fact2: もしあの人間学は折れ易いとすると「あの妥当性等はセロファン・ファラシーでないけれどそれは汚い」ということは誤っている fact3: 「あの妥当性等はセロファン・ファラシーであるしさらに汚い」ということは成り立たない fact4: あの妥当性等は遡れる fact5: もしあの妥当性等がセロファン・ファラシーであるならばあの侍医は本当らしいということはない fact6: あの人間学は折れ易い fact7: その侍医は汚いということはない fact8: 仮に「「あの妥当性等は汚くない一方でそれは折れ易い」ということは本当である」ということは誤っているなら「あの人間学は本当らしくない」ということは正しい fact9: あの大樹君はセロファン・ファラシーである fact10: もし仮にあの人間学は折れ易いなら「あの妥当性等はセロファン・ファラシーで汚い」ということは誤りだ fact11: その侍医はセロファン・ファラシーだとすれば「あの妥当性等は汚くないがしかし本当らしい」ということは成り立たない fact12: 仮に「あの妥当性等はセロファン・ファラシーでないけど汚い」ということは誤っているならその侍医は本当らしくない fact13: もしあの人間学は規制当局でないとしたら落ちぶれるということはないかまたは相互交流するかあるいは両方ともである fact14: あの御足労はセロファン・ファラシーでない fact15: 「あの運行利益はガス室であるということはない一方で終う」ということは間違っている fact16: もし仮に「その侍医は折れ易くないけどセロファン・ファラシーだ」ということは成り立たないとしたらあの人間学は本当らしいということはない fact17: もしもあの妥当性等は遡れるとしたら「それは五店であるということはない一方で未実現損益である」ということは偽である fact18: もし仮になにがしかの物は落ちぶれないか相互交流するかあるいは両方ともだとしたら組合等であるということはない fact19: その侍医は財務省証券だ fact20: 「その侍医は折れ易くない一方で財務省証券だ」ということは偽である fact21: 「仮にとある物は組合等でないなら「折れ易いかあるいは小難しいか両方である」ということは間違っている」ということは事実である
fact2 & fact6 -> int1: 「あの妥当性等はセロファン・ファラシーでない一方で汚い」ということは偽だ; int1 & fact12 -> hypothesis;
その侍医は本当らしい
fact23 -> int2: もしあの人間学は組合等でないなら「「折れ易いかあるいは小難しいかもしくは両方ともである」ということは本当だ」ということは本当でない; fact25 -> int3: もしあの人間学が落ちぶれないか相互交流するかもしくは両方ともなら組合等でない; fact22 & fact24 -> int4: 「あの妥当性等は五店でないがしかしそれは未実現損益である」ということは間違いである; int4 -> int5: 「「「五店でないけれど未実現損益である」ということは成り立つ」ということは成り立たない」ものはある;
$facts$ = fact1: もし「あの妥当性等は本当らしくないけど折れ易い」ということは成り立たないとすればその侍医はセロファン・ファラシーでない fact2: もしあの人間学は折れ易いとすると「あの妥当性等はセロファン・ファラシーでないけれどそれは汚い」ということは誤っている fact3: 「あの妥当性等はセロファン・ファラシーであるしさらに汚い」ということは成り立たない fact4: あの妥当性等は遡れる fact5: もしあの妥当性等がセロファン・ファラシーであるならばあの侍医は本当らしいということはない fact6: あの人間学は折れ易い fact7: その侍医は汚いということはない fact8: 仮に「「あの妥当性等は汚くない一方でそれは折れ易い」ということは本当である」ということは誤っているなら「あの人間学は本当らしくない」ということは正しい fact9: あの大樹君はセロファン・ファラシーである fact10: もし仮にあの人間学は折れ易いなら「あの妥当性等はセロファン・ファラシーで汚い」ということは誤りだ fact11: その侍医はセロファン・ファラシーだとすれば「あの妥当性等は汚くないがしかし本当らしい」ということは成り立たない fact12: 仮に「あの妥当性等はセロファン・ファラシーでないけど汚い」ということは誤っているならその侍医は本当らしくない fact13: もしあの人間学は規制当局でないとしたら落ちぶれるということはないかまたは相互交流するかあるいは両方ともである fact14: あの御足労はセロファン・ファラシーでない fact15: 「あの運行利益はガス室であるということはない一方で終う」ということは間違っている fact16: もし仮に「その侍医は折れ易くないけどセロファン・ファラシーだ」ということは成り立たないとしたらあの人間学は本当らしいということはない fact17: もしもあの妥当性等は遡れるとしたら「それは五店であるということはない一方で未実現損益である」ということは偽である fact18: もし仮になにがしかの物は落ちぶれないか相互交流するかあるいは両方ともだとしたら組合等であるということはない fact19: その侍医は財務省証券だ fact20: 「その侍医は折れ易くない一方で財務省証券だ」ということは偽である fact21: 「仮にとある物は組合等でないなら「折れ易いかあるいは小難しいか両方である」ということは間違っている」ということは事実である ; $hypothesis$ = その侍医は本当らしい ; $proof$ = 
fact2 & fact6 -> int1: 「あの妥当性等はセロファン・ファラシーでない一方で汚い」ということは偽だ; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もし「あの妥当性等は本当らしくないけど折れ易い」ということは成り立たないとすればその侍医はセロファン・ファラシーでない
事実2: もしあの人間学は折れ易いとすると「あの妥当性等はセロファン・ファラシーでないけれどそれは汚い」ということは誤っている
事実3: 「あの妥当性等はセロファン・ファラシーであるしさらに汚い」ということは成り立たない
事実4: あの妥当性等は遡れる
事実5: もしあの妥当性等がセロファン・ファラシーであるならばあの侍医は本当らしいということはない
事実6: あの人間学は折れ易い
事実7: その侍医は汚いということはない
事実8: 仮に「「あの妥当性等は汚くない一方でそれは折れ易い」ということは本当である」ということは誤っているなら「あの人間学は本当らしくない」ということは正しい
事実9: あの大樹君はセロファン・ファラシーである
事実10: もし仮にあの人間学は折れ易いなら「あの妥当性等はセロファン・ファラシーで汚い」ということは誤りだ
事実11: その侍医はセロファン・ファラシーだとすれば「あの妥当性等は汚くないがしかし本当らしい」ということは成り立たない
事実12: 仮に「あの妥当性等はセロファン・ファラシーでないけど汚い」ということは誤っているならその侍医は本当らしくない
事実13: もしあの人間学は規制当局でないとしたら落ちぶれるということはないかまたは相互交流するかあるいは両方ともである
事実14: あの御足労はセロファン・ファラシーでない
事実15: 「あの運行利益はガス室であるということはない一方で終う」ということは間違っている
事実16: もし仮に「その侍医は折れ易くないけどセロファン・ファラシーだ」ということは成り立たないとしたらあの人間学は本当らしいということはない
事実17: もしもあの妥当性等は遡れるとしたら「それは五店であるということはない一方で未実現損益である」ということは偽である
事実18: もし仮になにがしかの物は落ちぶれないか相互交流するかあるいは両方ともだとしたら組合等であるということはない
事実19: その侍医は財務省証券だ
事実20: 「その侍医は折れ易くない一方で財務省証券だ」ということは偽である
事実21: 「仮にとある物は組合等でないなら「折れ易いかあるいは小難しいか両方である」ということは間違っている」ということは事実である

仮説: その侍医は本当らしい
1. 事実2と事実6から、推論1: "「あの妥当性等はセロファン・ファラシーでない一方で汚い」ということは偽だ"が導かれる
2. 推論1と事実12から、仮説が否定される

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