もしその本立て道生が頷き返せばあの全企業は色覚だ
fact1: その本立て道生は悲しくない fact2: もし仮になにかは注視すらないならばそれは交流学習会であるかもしくはそれは悲しいということはないかもしくは両方である fact3: 仮にこのジャックナイフが尽力すならあの全企業は赤い fact4: あの全企業は密閉する fact5: もしもその本立て道生が赤いとすればこの青息吐息は頷き返す fact6: 仮に「あの全企業は如此ししそれは熟睡出来る」ということは誤りであるとすると「熟睡出来るということはない」ということは成り立つ fact7: もしも「その本立て道生は尽力すし赤い」ということは偽であるならあの軌は赤くない fact8: もしあの全企業がトレース出来ないとすればそれは力強い fact9: 仮にこのジャックナイフが色覚でないとすればあの本立て道生は赤いし尽力す fact10: 仮にこの対照区が頷き返さないとするとキー入力する fact11: その本立て道生が頷き返すならこのジャックナイフは赤い fact12: もし仮に何らかのものが色覚でないかもしくは悲しくないとすればそれは色覚でない fact13: なんらかのものが交流学習会であるかあるいはそれは悲しくないか両方だとすると色覚だということはない fact14: 仮にあの全企業が尽力すらないならそれは色覚である fact15: 「あの全企業は頷き返す」ということは事実である fact16: 「あの全企業は如此ししさらに熟睡出来る」ということは嘘だ fact17: あの全企業が頷き返すとすればその本立て道生は色覚でない fact18: 仮にこのジャックナイフは赤いとしたら「あの全企業は尽力すらない」ということは成り立つ fact19: 仮になにがしかのものが成り難いとしたらこのジャックナイフは注視すらないしおまけに商品リストリストボックスでない fact20: この何百冊は色覚だ fact21: もしもなにかは熟睡出来るということはないとするとそれは成り難いし要す fact22: その本立て道生は尽力すか赤いかまたはどちらもであるとすれば「あの行政整理は尽力すらない」ということは事実である
void -> assump1: 以下のように仮定する。その本立て道生は頷き返す; fact11 & assump1 -> int1: このジャックナイフは赤い; int1 & fact18 -> int2: あの全企業は尽力すらない; int2 & fact14 -> int3: 「あの全企業は色覚である」ということは成り立つ; [assump1] & int3 -> 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: 以下のように仮定する。その本立て道生は頷き返す; fact11 & assump1 -> int1: このジャックナイフは赤い; int1 & fact18 -> int2: あの全企業は尽力すらない; int2 & fact14 -> int3: 「あの全企業は色覚である」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実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. 事実11と仮定1から、推論1: "このジャックナイフは赤い"が導かれる
3. 推論1と事実18から、推論2: "あの全企業は尽力すらない"が導かれる
4. 推論2と事実14から、推論3: "「あの全企業は色覚である」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。