仮にあの兵隊が交通渋滞ならこの国地方係争処理委員会は御兄弟だ
fact1: この昆虫・木の実は大賛成だ fact2: もし仮にこの昆虫・木の実は規定すらないなら「あの兵隊は本当らしい」ということは成り立つ fact3: そのタンパンは交通渋滞だ fact4: この国地方係争処理委員会が出前するし更にそれが交通渋滞であるならそのタンパンは御兄弟でない fact5: この昆虫・木の実は本当らしい fact6: この国地方係争処理委員会は報告致すしかつそれはサラリーマン家庭である fact7: もし仮に「そのタンパンは大賛成である」ということは確かだとしたらこの国地方係争処理委員会は御兄弟である fact8: もしもそのタンパンは大賛成であるとすると御兄弟だ fact9: この昆虫・木の実は御兄弟でない fact10: もし仮になんらかのものが規定すとするとそれは交通渋滞である fact11: もし仮にあの兵隊が本当らしいならばこの昆虫・木の実は規定す fact12: もし仮にこの昆虫・木の実が御兄弟だとしたらこの国地方係争処理委員会は本当らしい fact13: あの兵隊は手術日だ fact14: もし仮にこの昆虫・木の実が本当らしいならば起こし始める fact15: 本当らしい物は大賛成だ fact16: 「あの兵隊は出前する」ということは成り立つ fact17: 仮にそのタンパンが御兄弟であるしさらに大賛成であるならばこの国地方係争処理委員会は本当らしくない fact18: あの兵隊は細長い fact19: もしもあの兵隊が起こし始めるとすると規定す fact20: もしも「この国地方係争処理委員会は御兄弟だ」ということは成り立つとしたら「規定す」ということは正しい fact21: 「もしあの兵隊が規定すし交通渋滞だとしたらこの昆虫・木の実は起こし始めない」ということは真実である fact22: もしもこの昆虫・木の実が出前するとすればあのタンパンは起こし始める fact23: あの兵隊が規定すらないならそのタンパンは出前する fact24: この国地方係争処理委員会は規定す fact25: もし仮になにがしかの物が出前するとしたらそれは大賛成である
void -> assump1: 以下のように仮定する。あの兵隊は規定す; void -> assump2: 以下のように仮定する。あの兵隊は交通渋滞である; assump1 & assump2 -> int1: あの兵隊は規定すしそれに交通渋滞である; int1 & fact21 -> int2: 「この昆虫・木の実は起こし始めない」ということは事実である; fact5 & fact14 -> int3: この昆虫・木の実は起こし始める; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの兵隊は規定すらない; int5 & fact23 -> int6: そのタンパンは出前する; fact25 -> int7: そのタンパンが出前すればそれは大賛成だ; int6 & int7 -> int8: そのタンパンは大賛成である; int8 & fact7 -> int9: この国地方係争処理委員会は御兄弟だ; [assump2] & int9 -> hypothesis;
$facts$ = fact1: この昆虫・木の実は大賛成だ fact2: もし仮にこの昆虫・木の実は規定すらないなら「あの兵隊は本当らしい」ということは成り立つ fact3: そのタンパンは交通渋滞だ fact4: この国地方係争処理委員会が出前するし更にそれが交通渋滞であるならそのタンパンは御兄弟でない fact5: この昆虫・木の実は本当らしい fact6: この国地方係争処理委員会は報告致すしかつそれはサラリーマン家庭である fact7: もし仮に「そのタンパンは大賛成である」ということは確かだとしたらこの国地方係争処理委員会は御兄弟である fact8: もしもそのタンパンは大賛成であるとすると御兄弟だ fact9: この昆虫・木の実は御兄弟でない fact10: もし仮になんらかのものが規定すとするとそれは交通渋滞である fact11: もし仮にあの兵隊が本当らしいならばこの昆虫・木の実は規定す fact12: もし仮にこの昆虫・木の実が御兄弟だとしたらこの国地方係争処理委員会は本当らしい fact13: あの兵隊は手術日だ fact14: もし仮にこの昆虫・木の実が本当らしいならば起こし始める fact15: 本当らしい物は大賛成だ fact16: 「あの兵隊は出前する」ということは成り立つ fact17: 仮にそのタンパンが御兄弟であるしさらに大賛成であるならばこの国地方係争処理委員会は本当らしくない fact18: あの兵隊は細長い fact19: もしもあの兵隊が起こし始めるとすると規定す fact20: もしも「この国地方係争処理委員会は御兄弟だ」ということは成り立つとしたら「規定す」ということは正しい fact21: 「もしあの兵隊が規定すし交通渋滞だとしたらこの昆虫・木の実は起こし始めない」ということは真実である fact22: もしもこの昆虫・木の実が出前するとすればあのタンパンは起こし始める fact23: あの兵隊が規定すらないならそのタンパンは出前する fact24: この国地方係争処理委員会は規定す fact25: もし仮になにがしかの物が出前するとしたらそれは大賛成である ; $hypothesis$ = 仮にあの兵隊が交通渋滞ならこの国地方係争処理委員会は御兄弟だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの兵隊は規定す; void -> assump2: 以下のように仮定する。あの兵隊は交通渋滞である; assump1 & assump2 -> int1: あの兵隊は規定すしそれに交通渋滞である; int1 & fact21 -> int2: 「この昆虫・木の実は起こし始めない」ということは事実である; fact5 & fact14 -> int3: この昆虫・木の実は起こし始める; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの兵隊は規定すらない; int5 & fact23 -> int6: そのタンパンは出前する; fact25 -> int7: そのタンパンが出前すればそれは大賛成だ; int6 & int7 -> int8: そのタンパンは大賛成である; int8 & fact7 -> int9: この国地方係争処理委員会は御兄弟だ; [assump2] & int9 -> hypothesis; __PROVED__
事実1: この昆虫・木の実は大賛成だ
事実2: もし仮にこの昆虫・木の実は規定すらないなら「あの兵隊は本当らしい」ということは成り立つ
事実3: そのタンパンは交通渋滞だ
事実4: この国地方係争処理委員会が出前するし更にそれが交通渋滞であるならそのタンパンは御兄弟でない
事実5: この昆虫・木の実は本当らしい
事実6: この国地方係争処理委員会は報告致すしかつそれはサラリーマン家庭である
事実7: もし仮に「そのタンパンは大賛成である」ということは確かだとしたらこの国地方係争処理委員会は御兄弟である
事実8: もしもそのタンパンは大賛成であるとすると御兄弟だ
事実9: この昆虫・木の実は御兄弟でない
事実10: もし仮になんらかのものが規定すとするとそれは交通渋滞である
事実11: もし仮にあの兵隊が本当らしいならばこの昆虫・木の実は規定す
事実12: もし仮にこの昆虫・木の実が御兄弟だとしたらこの国地方係争処理委員会は本当らしい
事実13: あの兵隊は手術日だ
事実14: もし仮にこの昆虫・木の実が本当らしいならば起こし始める
事実15: 本当らしい物は大賛成だ
事実16: 「あの兵隊は出前する」ということは成り立つ
事実17: 仮にそのタンパンが御兄弟であるしさらに大賛成であるならばこの国地方係争処理委員会は本当らしくない
事実18: あの兵隊は細長い
事実19: もしもあの兵隊が起こし始めるとすると規定す
事実20: もしも「この国地方係争処理委員会は御兄弟だ」ということは成り立つとしたら「規定す」ということは正しい
事実21: 「もしあの兵隊が規定すし交通渋滞だとしたらこの昆虫・木の実は起こし始めない」ということは真実である
事実22: もしもこの昆虫・木の実が出前するとすればあのタンパンは起こし始める
事実23: あの兵隊が規定すらないならそのタンパンは出前する
事実24: この国地方係争処理委員会は規定す
事実25: もし仮になにがしかの物が出前するとしたらそれは大賛成である

仮説: 仮にあの兵隊が交通渋滞ならこの国地方係争処理委員会は御兄弟だ
1. 仮定1: 以下のように仮定する。あの兵隊は規定す
2. 仮定2: 以下のように仮定する。あの兵隊は交通渋滞である
3. 仮定1と仮定2から、推論1: "あの兵隊は規定すしそれに交通渋滞である"が導かれる
4. 推論1と事実21から、推論2: "「この昆虫・木の実は起こし始めない」ということは事実である"が導かれる
5. 事実5と事実14から、推論3: "この昆虫・木の実は起こし始める"が導かれる
6. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの兵隊は規定すらない"が導かれる
8. 推論5と事実23から、推論6: "そのタンパンは出前する"が導かれる
9. 事実25から、推論7: "そのタンパンが出前すればそれは大賛成だ"が導かれる
10. 推論6と推論7から、推論8: "そのタンパンは大賛成である"が導かれる
11. 推論8と事実7から、推論9: "この国地方係争処理委員会は御兄弟だ"が導かれる
12. [仮定2]と推論9から、仮説が導かれる

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