「あの除草必要期間は自活出来るしそれに運転し易い」ということは成り立たない
fact1: もしもあの販売促進活動が薄ら寒いとしたらその諸世界は薄ら寒くないけれど高炉である fact2: 「その諸世界は薄ら寒くない」ということは事実だ fact3: 高炉は伸び出さなくて薄ら寒くない fact4: あの販売促進活動は重症化しない fact5: もし仮にあの坊主頭が薄ら寒いとしたらあの販売促進活動は重症化しない fact6: もし仮にその諸世界が薄ら寒くないが高炉だとしたらあの除草必要期間は概算しない fact7: 「なんらかのものは概算するということはない」ということは成り立つとすると運転し易い fact8: もし仮にあの坊主頭が薄ら寒いとしたらあの販売促進活動は重症化するということはない一方で薄ら寒い fact9: もし仮になにがしかの物が概算しないとしたら自活出来るし加えて運転し易い fact10: あの坊主頭は伸び出すし加えて薄ら寒い
fact10 -> int1: あの坊主頭は薄ら寒い; int1 & fact8 -> int2: あの販売促進活動は重症化しないが薄ら寒い; int2 -> int3: あの販売促進活動は薄ら寒い; int3 & fact1 -> int4: その諸世界は薄ら寒くないけれど高炉である; int4 & fact6 -> int5: あの除草必要期間は概算しない; fact9 -> int6: もし仮にあの除草必要期間が概算しないとすると自活出来るしまた運転し易い; int5 & int6 -> hypothesis;
「あの除草必要期間は自活出来るし運転し易い」ということは成り立たない
fact11 -> int7: もしあの坊主頭は高炉であるとしたらそれは伸び出さなくて加えて薄ら寒くない;
$facts$ = fact1: もしもあの販売促進活動が薄ら寒いとしたらその諸世界は薄ら寒くないけれど高炉である fact2: 「その諸世界は薄ら寒くない」ということは事実だ fact3: 高炉は伸び出さなくて薄ら寒くない fact4: あの販売促進活動は重症化しない fact5: もし仮にあの坊主頭が薄ら寒いとしたらあの販売促進活動は重症化しない fact6: もし仮にその諸世界が薄ら寒くないが高炉だとしたらあの除草必要期間は概算しない fact7: 「なんらかのものは概算するということはない」ということは成り立つとすると運転し易い fact8: もし仮にあの坊主頭が薄ら寒いとしたらあの販売促進活動は重症化するということはない一方で薄ら寒い fact9: もし仮になにがしかの物が概算しないとしたら自活出来るし加えて運転し易い fact10: あの坊主頭は伸び出すし加えて薄ら寒い ; $hypothesis$ = 「あの除草必要期間は自活出来るしそれに運転し易い」ということは成り立たない ; $proof$ = 
fact10 -> int1: あの坊主頭は薄ら寒い; int1 & fact8 -> int2: あの販売促進活動は重症化しないが薄ら寒い; int2 -> int3: あの販売促進活動は薄ら寒い; int3 & fact1 -> int4: その諸世界は薄ら寒くないけれど高炉である; int4 & fact6 -> int5: あの除草必要期間は概算しない; fact9 -> int6: もし仮にあの除草必要期間が概算しないとすると自活出来るしまた運転し易い; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしもあの販売促進活動が薄ら寒いとしたらその諸世界は薄ら寒くないけれど高炉である
事実2: 「その諸世界は薄ら寒くない」ということは事実だ
事実3: 高炉は伸び出さなくて薄ら寒くない
事実4: あの販売促進活動は重症化しない
事実5: もし仮にあの坊主頭が薄ら寒いとしたらあの販売促進活動は重症化しない
事実6: もし仮にその諸世界が薄ら寒くないが高炉だとしたらあの除草必要期間は概算しない
事実7: 「なんらかのものは概算するということはない」ということは成り立つとすると運転し易い
事実8: もし仮にあの坊主頭が薄ら寒いとしたらあの販売促進活動は重症化するということはない一方で薄ら寒い
事実9: もし仮になにがしかの物が概算しないとしたら自活出来るし加えて運転し易い
事実10: あの坊主頭は伸び出すし加えて薄ら寒い

仮説: 「あの除草必要期間は自活出来るしそれに運転し易い」ということは成り立たない
1. 事実10から、推論1: "あの坊主頭は薄ら寒い"が導かれる
2. 推論1と事実8から、推論2: "あの販売促進活動は重症化しないが薄ら寒い"が導かれる
3. 推論2から、推論3: "あの販売促進活動は薄ら寒い"が導かれる
4. 推論3と事実1から、推論4: "その諸世界は薄ら寒くないけれど高炉である"が導かれる
5. 推論4と事実6から、推論5: "あの除草必要期間は概算しない"が導かれる
6. 事実9から、推論6: "もし仮にあの除草必要期間が概算しないとすると自活出来るしまた運転し易い"が導かれる
7. 推論5と推論6から、仮説が否定される

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