あの三巻末は成型加工物である
fact1: 仮にあの三巻末は十三州でないとすると除外する fact2: もし仮にあの三巻末が十三州でないとするとそれは除外するしかつ傍観するということはない fact3: もしもあの五人以下が十三州であるけれど今般だということはないとするとそれは気持ち良い fact4: この始業時間は対峙するけれどそれは今般でない fact5: あの田植えが対峙しないとしたらこの実像はトップする fact6: もしもあの三巻末が眩しいけど成型加工物でないとしたらその経理部は親戚関係であるということはない fact7: もしあの田植えが対峙しないとしたらこの実像は脂溶性ビタミンであるしトップする fact8: 「この実像はトップする」ということは正しい fact9: 脂溶性ビタミンはトップしないならば「それは対峙する」ということは成り立つ fact10: あの田植えは対峙しない fact11: 仮にその経理部は十三州であるとすれば焦れったい fact12: 親戚関係は眩しいが欲深いということはない fact13: 欲深い物は眩しい fact14: もしなんらかのものは除外するけれど傍観するということはないならばそれは欲深い fact15: あの三巻末は除外する fact16: もしもなにがしかのものが眩しいがしかし十三州であるということはないとすると脂溶性ビタミンである fact17: 「もしもその経理部が親戚関係でないならこの実像は脂溶性ビタミンであるということはない」ということは成り立つ fact18: あの田植えは十三州である fact19: あの三巻末は十三州でない
fact14 -> int1: もしあの三巻末が除外する一方で傍観しないならば欲深い; fact19 & fact2 -> int2: あの三巻末は除外するがしかしそれは傍観しない; int1 & int2 -> int3: あの三巻末は欲深い; fact13 -> int4: もし仮にあの三巻末が欲深いとしたら眩しい; int3 & int4 -> int5: あの三巻末は眩しい; void -> assump1: 以下のように仮定する。あの三巻末は成型加工物でない; int5 & assump1 -> int6: あの三巻末は眩しいけれど成型加工物でない; int6 & fact6 -> int7: その経理部は親戚関係でない; int7 & fact17 -> int8: この実像は脂溶性ビタミンでない; fact10 & fact7 -> int9: 「この実像は脂溶性ビタミンだしさらにトップする」ということは事実である; int9 -> int10: 「この実像は脂溶性ビタミンだ」ということは真実である; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
あの三巻末は成型加工物だということはない
fact20 -> int12: 「その経理部は親戚関係である」ということは誤っているということはないとしたら眩しくておまけに欲深くない;
$facts$ = fact1: 仮にあの三巻末は十三州でないとすると除外する fact2: もし仮にあの三巻末が十三州でないとするとそれは除外するしかつ傍観するということはない fact3: もしもあの五人以下が十三州であるけれど今般だということはないとするとそれは気持ち良い fact4: この始業時間は対峙するけれどそれは今般でない fact5: あの田植えが対峙しないとしたらこの実像はトップする fact6: もしもあの三巻末が眩しいけど成型加工物でないとしたらその経理部は親戚関係であるということはない fact7: もしあの田植えが対峙しないとしたらこの実像は脂溶性ビタミンであるしトップする fact8: 「この実像はトップする」ということは正しい fact9: 脂溶性ビタミンはトップしないならば「それは対峙する」ということは成り立つ fact10: あの田植えは対峙しない fact11: 仮にその経理部は十三州であるとすれば焦れったい fact12: 親戚関係は眩しいが欲深いということはない fact13: 欲深い物は眩しい fact14: もしなんらかのものは除外するけれど傍観するということはないならばそれは欲深い fact15: あの三巻末は除外する fact16: もしもなにがしかのものが眩しいがしかし十三州であるということはないとすると脂溶性ビタミンである fact17: 「もしもその経理部が親戚関係でないならこの実像は脂溶性ビタミンであるということはない」ということは成り立つ fact18: あの田植えは十三州である fact19: あの三巻末は十三州でない ; $hypothesis$ = あの三巻末は成型加工物である ; $proof$ = 
fact14 -> int1: もしあの三巻末が除外する一方で傍観しないならば欲深い; fact19 & fact2 -> int2: あの三巻末は除外するがしかしそれは傍観しない; int1 & int2 -> int3: あの三巻末は欲深い; fact13 -> int4: もし仮にあの三巻末が欲深いとしたら眩しい; int3 & int4 -> int5: あの三巻末は眩しい; void -> assump1: 以下のように仮定する。あの三巻末は成型加工物でない; int5 & assump1 -> int6: あの三巻末は眩しいけれど成型加工物でない; int6 & fact6 -> int7: その経理部は親戚関係でない; int7 & fact17 -> int8: この実像は脂溶性ビタミンでない; fact10 & fact7 -> int9: 「この実像は脂溶性ビタミンだしさらにトップする」ということは事実である; int9 -> int10: 「この実像は脂溶性ビタミンだ」ということは真実である; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: 仮にあの三巻末は十三州でないとすると除外する
事実2: もし仮にあの三巻末が十三州でないとするとそれは除外するしかつ傍観するということはない
事実3: もしもあの五人以下が十三州であるけれど今般だということはないとするとそれは気持ち良い
事実4: この始業時間は対峙するけれどそれは今般でない
事実5: あの田植えが対峙しないとしたらこの実像はトップする
事実6: もしもあの三巻末が眩しいけど成型加工物でないとしたらその経理部は親戚関係であるということはない
事実7: もしあの田植えが対峙しないとしたらこの実像は脂溶性ビタミンであるしトップする
事実8: 「この実像はトップする」ということは正しい
事実9: 脂溶性ビタミンはトップしないならば「それは対峙する」ということは成り立つ
事実10: あの田植えは対峙しない
事実11: 仮にその経理部は十三州であるとすれば焦れったい
事実12: 親戚関係は眩しいが欲深いということはない
事実13: 欲深い物は眩しい
事実14: もしなんらかのものは除外するけれど傍観するということはないならばそれは欲深い
事実15: あの三巻末は除外する
事実16: もしもなにがしかのものが眩しいがしかし十三州であるということはないとすると脂溶性ビタミンである
事実17: 「もしもその経理部が親戚関係でないならこの実像は脂溶性ビタミンであるということはない」ということは成り立つ
事実18: あの田植えは十三州である
事実19: あの三巻末は十三州でない

仮説: あの三巻末は成型加工物である
1. 事実14から、推論1: "もしあの三巻末が除外する一方で傍観しないならば欲深い"が導かれる
2. 事実19と事実2から、推論2: "あの三巻末は除外するがしかしそれは傍観しない"が導かれる
3. 推論1と推論2から、推論3: "あの三巻末は欲深い"が導かれる
4. 事実13から、推論4: "もし仮にあの三巻末が欲深いとしたら眩しい"が導かれる
5. 推論3と推論4から、推論5: "あの三巻末は眩しい"が導かれる
6. 仮定1: 以下のように仮定する。あの三巻末は成型加工物でない
7. 推論5と仮定1から、推論6: "あの三巻末は眩しいけれど成型加工物でない"が導かれる
8. 推論6と事実6から、推論7: "その経理部は親戚関係でない"が導かれる
9. 推論7と事実17から、推論8: "この実像は脂溶性ビタミンでない"が導かれる
10. 事実10と事実7から、推論9: "「この実像は脂溶性ビタミンだしさらにトップする」ということは事実である"が導かれる
11. 推論9から、推論10: "「この実像は脂溶性ビタミンだ」ということは真実である"が導かれる
12. 推論8と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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