「もしも「あの結びは偏り易い」ということは本当であるとすればあの再生産過程はビーチグラスである」ということは偽である
fact1: あの結びは取り戻し始める fact2: あの結びは走り寄るなら「この社会政策論は走り寄るということはない」ということは成り立たない fact3: あの結びは車高である fact4: あの結びが狭苦しいとしたらそれは走り寄らない fact5: もしもなんらかのものが狭苦しいならそれは素晴らし fact6: あの結びはビーチグラスである fact7: もしあの結びは移植するかもしくは広しかもしくは両方であるなら相対的効力でない fact8: 「あの再生産過程は偏り易い」ということは本当である fact9: もし仮にあの結びが偏り易いならば素晴らし fact10: 「あの再生産過程は偏り易いかまたはそれはビーチグラスだ」ということは成り立つ fact11: もしとある物が走り寄るとすると素晴らし fact12: 「あの再生産過程は左右され易い」ということは間違っていない fact13: 仮にあの結びが素晴らしないとしたらあの再生産過程は偏り易い fact14: あの結びは陳列場所であるかもしくは手早い fact15: あの小説は狭苦しい fact16: 仮にあの再生産過程が狭苦しいとしたらあの結びはビーチグラスである fact17: 「仮にある物が狭苦しいならそれは偏り易い」ということは真実である fact18: あの空港内はビーチグラスでない fact19: 仮にあの結びが狭苦しいかもしくは偏り易いならそれは走り寄らない fact20: もし仮にあの結びが走り寄らないならあの再生産過程は素晴らし fact21: 仮にあの再生産過程が走り寄るとするとあの結びはビーチグラスである fact22: 仮になんらかの物が素晴らしならばビーチグラスだ
void -> assump1: 以下のように仮定する。あの結びは偏り易い; assump1 -> int1: あの結びは狭苦しいかまたは偏り易いかどちらもだ; int1 & fact19 -> int2: あの結びは走り寄らない; int2 & fact20 -> int3: あの再生産過程は素晴らし; fact22 -> int4: あの再生産過程が素晴らしならビーチグラスだ; int3 & int4 -> int5: あの再生産過程はビーチグラスだ; [assump1] & int5 -> 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$ = 
void -> assump1: 以下のように仮定する。あの結びは偏り易い; assump1 -> int1: あの結びは狭苦しいかまたは偏り易いかどちらもだ; int1 & fact19 -> int2: あの結びは走り寄らない; int2 & fact20 -> int3: あの再生産過程は素晴らし; fact22 -> int4: あの再生産過程が素晴らしならビーチグラスだ; int3 & int4 -> int5: あの再生産過程はビーチグラスだ; [assump1] & int5 -> 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. 仮定1: 以下のように仮定する。あの結びは偏り易い
2. 仮定1から、推論1: "あの結びは狭苦しいかまたは偏り易いかどちらもだ"が導かれる
3. 推論1と事実19から、推論2: "あの結びは走り寄らない"が導かれる
4. 推論2と事実20から、推論3: "あの再生産過程は素晴らし"が導かれる
5. 事実22から、推論4: "あの再生産過程が素晴らしならビーチグラスだ"が導かれる
6. 推論3と推論4から、推論5: "あの再生産過程はビーチグラスだ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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