もしその四輪が木目細かいならばあの工程間同期計画は思い出深い
fact1: もしもその四輪は生徒自らでないなら「あの工程間同期計画は木目細かくない」ということは事実である fact2: もしもあの工程間同期計画は生徒自らでないとしたら「あの港湾都市は甚だしが生徒自らでない」ということは確かでない fact3: あの工程間同期計画は木目細かくない fact4: あの港湾都市が思い出深いとしたらそれは甚だしない fact5: この殿上人は木目細かい fact6: 「あの港湾都市は木目細かいけれど生徒自らでない」ということは成り立たない fact7: もし「「あの港湾都市は生徒自らであるがしかし思い出深くない」ということは本当だ」ということは偽だとしたらあの工程間同期計画は甚だしない fact8: もしもあの工程間同期計画は生徒自らでないとすれば「あの港湾都市は思い出深くない」ということは成り立つ fact9: 「あの工程間同期計画は思い出深くない」ということは成り立つとしたら「生徒自らでない」ということは正しい fact10: もしも「あの港湾都市は甚だし一方で生徒自らでない」ということは間違っているとするとその四輪は木目細かくない fact11: 「その四輪は自活するがそれは財務会計でない」ということは嘘だ
void -> assump1: 以下のように仮定する。あの工程間同期計画は思い出深くない; fact9 & assump1 -> int1: あの工程間同期計画は生徒自らでない; int1 & fact2 -> int2: 「あの港湾都市は甚だしが生徒自らでない」ということは誤りだ; int2 & fact10 -> int3: その四輪は木目細かいということはない; void -> assump2: 以下のように仮定する。その四輪は木目細かい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの工程間同期計画は思い出深い; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もしもその四輪は生徒自らでないなら「あの工程間同期計画は木目細かくない」ということは事実である fact2: もしもあの工程間同期計画は生徒自らでないとしたら「あの港湾都市は甚だしが生徒自らでない」ということは確かでない fact3: あの工程間同期計画は木目細かくない fact4: あの港湾都市が思い出深いとしたらそれは甚だしない fact5: この殿上人は木目細かい fact6: 「あの港湾都市は木目細かいけれど生徒自らでない」ということは成り立たない fact7: もし「「あの港湾都市は生徒自らであるがしかし思い出深くない」ということは本当だ」ということは偽だとしたらあの工程間同期計画は甚だしない fact8: もしもあの工程間同期計画は生徒自らでないとすれば「あの港湾都市は思い出深くない」ということは成り立つ fact9: 「あの工程間同期計画は思い出深くない」ということは成り立つとしたら「生徒自らでない」ということは正しい fact10: もしも「あの港湾都市は甚だし一方で生徒自らでない」ということは間違っているとするとその四輪は木目細かくない fact11: 「その四輪は自活するがそれは財務会計でない」ということは嘘だ ; $hypothesis$ = もしその四輪が木目細かいならばあの工程間同期計画は思い出深い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの工程間同期計画は思い出深くない; fact9 & assump1 -> int1: あの工程間同期計画は生徒自らでない; int1 & fact2 -> int2: 「あの港湾都市は甚だしが生徒自らでない」ということは誤りだ; int2 & fact10 -> int3: その四輪は木目細かいということはない; void -> assump2: 以下のように仮定する。その四輪は木目細かい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの工程間同期計画は思い出深い; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もしもその四輪は生徒自らでないなら「あの工程間同期計画は木目細かくない」ということは事実である
事実2: もしもあの工程間同期計画は生徒自らでないとしたら「あの港湾都市は甚だしが生徒自らでない」ということは確かでない
事実3: あの工程間同期計画は木目細かくない
事実4: あの港湾都市が思い出深いとしたらそれは甚だしない
事実5: この殿上人は木目細かい
事実6: 「あの港湾都市は木目細かいけれど生徒自らでない」ということは成り立たない
事実7: もし「「あの港湾都市は生徒自らであるがしかし思い出深くない」ということは本当だ」ということは偽だとしたらあの工程間同期計画は甚だしない
事実8: もしもあの工程間同期計画は生徒自らでないとすれば「あの港湾都市は思い出深くない」ということは成り立つ
事実9: 「あの工程間同期計画は思い出深くない」ということは成り立つとしたら「生徒自らでない」ということは正しい
事実10: もしも「あの港湾都市は甚だし一方で生徒自らでない」ということは間違っているとするとその四輪は木目細かくない
事実11: 「その四輪は自活するがそれは財務会計でない」ということは嘘だ

仮説: もしその四輪が木目細かいならばあの工程間同期計画は思い出深い
1. 仮定1: 以下のように仮定する。あの工程間同期計画は思い出深くない
2. 事実9と仮定1から、推論1: "あの工程間同期計画は生徒自らでない"が導かれる
3. 推論1と事実2から、推論2: "「あの港湾都市は甚だしが生徒自らでない」ということは誤りだ"が導かれる
4. 推論2と事実10から、推論3: "その四輪は木目細かいということはない"が導かれる
5. 仮定2: 以下のように仮定する。その四輪は木目細かい
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの工程間同期計画は思い出深い"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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