そのスコッチは形鋼柱でないかあるいはそれは染み込み易いかどちらもだ
fact1: 仮に「あの竹蜻蛉は読み終える」ということは確かであるならばその物理的刺激は転び易いということはないけれど割れ難い fact2: もし「あの鼓吹は労働者募集だけど手荒くない」ということは間違いであるとしたらそのスコッチは転び易くない fact3: 手荒くない労働者募集はない fact4: もし仮になんらかのものは最新型だということはないとすると「それは葡有しないかまたは鸚鵡ガイであるかあるいは両方だ」ということは嘘だ fact5: もし仮に何らかの物は転び易くないなら「形鋼柱でないかもしくは染み込み易いかあるいは両方だ」ということは成り立たない
fact3 -> int1: 「あの鼓吹は労働者募集だがしかし手荒くない」ということは事実と異なる; int1 & fact2 -> int2: そのスコッチは転び易くない; fact5 -> int3: そのスコッチは転び易いということはないとしたら「それは形鋼柱でないかあるいは染み込み易いかもしくはどちらもだ」ということは誤りだ; int2 & int3 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬{A}{a}; fact5 -> int3: ¬{A}{a} -> ¬(¬{B}{a} v {C}{a}); int2 & int3 -> hypothesis;
そのスコッチは形鋼柱でないかあるいは染み込み易いかまたは両方だ
$facts$ = fact1: 仮に「あの竹蜻蛉は読み終える」ということは確かであるならばその物理的刺激は転び易いということはないけれど割れ難い fact2: もし「あの鼓吹は労働者募集だけど手荒くない」ということは間違いであるとしたらそのスコッチは転び易くない fact3: 手荒くない労働者募集はない fact4: もし仮になんらかのものは最新型だということはないとすると「それは葡有しないかまたは鸚鵡ガイであるかあるいは両方だ」ということは嘘だ fact5: もし仮に何らかの物は転び易くないなら「形鋼柱でないかもしくは染み込み易いかあるいは両方だ」ということは成り立たない ; $hypothesis$ = そのスコッチは形鋼柱でないかあるいはそれは染み込み易いかどちらもだ ; $proof$ = 
fact3 -> int1: 「あの鼓吹は労働者募集だがしかし手荒くない」ということは事実と異なる; int1 & fact2 -> int2: そのスコッチは転び易くない; fact5 -> int3: そのスコッチは転び易いということはないとしたら「それは形鋼柱でないかあるいは染み込み易いかもしくはどちらもだ」ということは誤りだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「あの竹蜻蛉は読み終える」ということは確かであるならばその物理的刺激は転び易いということはないけれど割れ難い
事実2: もし「あの鼓吹は労働者募集だけど手荒くない」ということは間違いであるとしたらそのスコッチは転び易くない
事実3: 手荒くない労働者募集はない
事実4: もし仮になんらかのものは最新型だということはないとすると「それは葡有しないかまたは鸚鵡ガイであるかあるいは両方だ」ということは嘘だ
事実5: もし仮に何らかの物は転び易くないなら「形鋼柱でないかもしくは染み込み易いかあるいは両方だ」ということは成り立たない

仮説: そのスコッチは形鋼柱でないかあるいはそれは染み込み易いかどちらもだ
1. 事実3から、推論1: "「あの鼓吹は労働者募集だがしかし手荒くない」ということは事実と異なる"が導かれる
2. 推論1と事実2から、推論2: "そのスコッチは転び易くない"が導かれる
3. 事実5から、推論3: "そのスコッチは転び易いということはないとしたら「それは形鋼柱でないかあるいは染み込み易いかもしくはどちらもだ」ということは誤りだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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