「あのブラインドは運び始めないかそれは厚くないかあるいはどちらもだ」ということは誤っている
fact1: もし仮にあの野原が二乗和であるならばそれは運び始めるかまたはそれは無理するということはないか両方ともである fact2: あのブラインドは拡張する fact3: あのブラインドはＰＲする fact4: もし「この折り皺は尋ね合う」ということは本当であるならば「ライム・ツリーだということはないかまたは運び始めるかあるいは両方である」ということは誤りであるということはない fact5: もし仮にあのブラインドがＰＲすればそれは運び始めないかもしくはそれは厚い fact6: そのＶＣＣはＰＲする fact7: 仮にあのブラインドがＰＲするとすると運び始めるかもしくはそれは厚くないか両方だ fact8: もしあのブラインドがＰＲするとするとそれは運び始めるということはないかあるいは厚くないかもしくは両方ともである fact9: 「その狩猟民族はＰＲしない」ということは誤りであるならば「あのブラインドは運び始めないかまたは厚いということはないかあるいは両方である」ということは成り立たない fact10: あのブラインドは運び始めないかもしくは厚い fact11: あのブラインドは運び始めるか厚くないか両方である
fact8 & fact3 -> hypothesis;
fact8 & fact3 -> hypothesis;
「あのブラインドは運び始めないかあるいは厚くない」ということは成り立たない
$facts$ = fact1: もし仮にあの野原が二乗和であるならばそれは運び始めるかまたはそれは無理するということはないか両方ともである fact2: あのブラインドは拡張する fact3: あのブラインドはＰＲする fact4: もし「この折り皺は尋ね合う」ということは本当であるならば「ライム・ツリーだということはないかまたは運び始めるかあるいは両方である」ということは誤りであるということはない fact5: もし仮にあのブラインドがＰＲすればそれは運び始めないかもしくはそれは厚い fact6: そのＶＣＣはＰＲする fact7: 仮にあのブラインドがＰＲするとすると運び始めるかもしくはそれは厚くないか両方だ fact8: もしあのブラインドがＰＲするとするとそれは運び始めるということはないかあるいは厚くないかもしくは両方ともである fact9: 「その狩猟民族はＰＲしない」ということは誤りであるならば「あのブラインドは運び始めないかまたは厚いということはないかあるいは両方である」ということは成り立たない fact10: あのブラインドは運び始めないかもしくは厚い fact11: あのブラインドは運び始めるか厚くないか両方である ; $hypothesis$ = 「あのブラインドは運び始めないかそれは厚くないかあるいはどちらもだ」ということは誤っている ; $proof$ = 
fact8 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの野原が二乗和であるならばそれは運び始めるかまたはそれは無理するということはないか両方ともである
事実2: あのブラインドは拡張する
事実3: あのブラインドはＰＲする
事実4: もし「この折り皺は尋ね合う」ということは本当であるならば「ライム・ツリーだということはないかまたは運び始めるかあるいは両方である」ということは誤りであるということはない
事実5: もし仮にあのブラインドがＰＲすればそれは運び始めないかもしくはそれは厚い
事実6: そのＶＣＣはＰＲする
事実7: 仮にあのブラインドがＰＲするとすると運び始めるかもしくはそれは厚くないか両方だ
事実8: もしあのブラインドがＰＲするとするとそれは運び始めるということはないかあるいは厚くないかもしくは両方ともである
事実9: 「その狩猟民族はＰＲしない」ということは誤りであるならば「あのブラインドは運び始めないかまたは厚いということはないかあるいは両方である」ということは成り立たない
事実10: あのブラインドは運び始めないかもしくは厚い
事実11: あのブラインドは運び始めるか厚くないか両方である

仮説: 「あのブラインドは運び始めないかそれは厚くないかあるいはどちらもだ」ということは誤っている
1. 事実8と事実3から、仮説が否定される

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