あの金属管は玄関横である
fact1: もしも何かは会合するけれど断り難くないとすると「玄関横だ」ということは成り立つ fact2: 「断り難くないものは玄関横で会合する」ということは本当だ fact3: この者共は会合する fact4: 仮にあの金属管は玄関横であるとしたらそれはおっかなくない一方で繰り返し遣る fact5: 仮に「おっかなくないし繰り返し遣る」ものがあるとするとあの長距離は会合しない fact6: あの長距離は会合する fact7: あの金属管は会合する
void -> assump1: 以下のように仮定する。あの金属管は玄関横である; fact4 & assump1 -> int1: あの金属管はおっかないということはないけれど繰り返し遣る; int1 -> int2: とある物はおっかなくない一方で繰り返し遣る; int2 & fact5 -> int3: あの長距離は会合しない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの胸焼けは玄関横である
fact8 -> int5: もしもあの胸焼けが断り難いということはないならば玄関横だし会合する;
$facts$ = fact1: もしも何かは会合するけれど断り難くないとすると「玄関横だ」ということは成り立つ fact2: 「断り難くないものは玄関横で会合する」ということは本当だ fact3: この者共は会合する fact4: 仮にあの金属管は玄関横であるとしたらそれはおっかなくない一方で繰り返し遣る fact5: 仮に「おっかなくないし繰り返し遣る」ものがあるとするとあの長距離は会合しない fact6: あの長距離は会合する fact7: あの金属管は会合する ; $hypothesis$ = あの金属管は玄関横である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの金属管は玄関横である; fact4 & assump1 -> int1: あの金属管はおっかないということはないけれど繰り返し遣る; int1 -> int2: とある物はおっかなくない一方で繰り返し遣る; int2 & fact5 -> int3: あの長距離は会合しない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしも何かは会合するけれど断り難くないとすると「玄関横だ」ということは成り立つ
事実2: 「断り難くないものは玄関横で会合する」ということは本当だ
事実3: この者共は会合する
事実4: 仮にあの金属管は玄関横であるとしたらそれはおっかなくない一方で繰り返し遣る
事実5: 仮に「おっかなくないし繰り返し遣る」ものがあるとするとあの長距離は会合しない
事実6: あの長距離は会合する
事実7: あの金属管は会合する

仮説: あの金属管は玄関横である
1. 仮定1: 以下のように仮定する。あの金属管は玄関横である
2. 事実4と仮定1から、推論1: "あの金属管はおっかないということはないけれど繰り返し遣る"が導かれる
3. 推論1から、推論2: "とある物はおっかなくない一方で繰り返し遣る"が導かれる
4. 推論2と事実5から、推論3: "あの長距離は会合しない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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