この秋思は忠実忠実しかないかまたは極まりなくないかもしくはどちらもである
fact1: もし仮になにかは胚胎する一方でそれは代表値でないとしたらそれは生え易いということはない fact2: 仮にこの秋思が階段室であるとすればその国主は胚胎するけど代表値でない fact3: もし紫苑は百十六ページ参照であるとすればそれは摂食中枢でない fact4: 仮にこの秋思は厚かましくないとしたら「「忠実忠実しかないかあるいは極まりなくないかまたはどちらもだ」ということは事実である」ということは事実と異なる fact5: 仮に何かは血糖であるということはないならば生え易いしまた階段室だ fact6: 仮にあるものは成功し易いなら「右回転でないしその上それは映画史だ」ということは嘘だ fact7: この連隊長は右横だ一方で学び取らない fact8: もしもこの基金型が厚かましくないとしたらその国主は血糖でない fact9: 仮にこの連隊長が最新バージョンだということはないとすればそれは成功し易い fact10: もし仮にこの基金型は映画史であるとしたらそれは血糖だ fact11: 仮にその国主が生え易くないとするとこの基金型は血糖でない fact12: その国主が階段室であるとしたらこの秋思は忠実忠実しいということはないかもしくは極まりなくないかあるいはどちらもだ fact13: 仮に右横が学び取らないとすると最新バージョンでない fact14: もしもなにかは階段室でないならば厚かましくない fact15: この基金型は映画史だ
void -> assump1: 以下のように仮定する。この秋思は階段室だ; fact2 & assump1 -> int1: その国主は胚胎するけれど代表値でない; fact1 -> int2: もしその国主は胚胎するがしかし代表値でないとしたら「生え易いということはない」ということは真実だ; int1 & int2 -> int3: 「その国主は生え易いということはない」ということは真実である; int3 & fact11 -> int4: この基金型は血糖でない; fact15 & fact10 -> int5: この基金型は血糖だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この秋思は階段室でない; fact14 -> int8: この秋思は階段室でないならばそれは厚かましくない; int7 & int8 -> int9: この秋思は厚かましくない; int9 & fact4 -> hypothesis;
この秋思は忠実忠実しかないかあるいはそれは極まりなくないかあるいは両方ともである
fact22 -> int10: もし仮に「その国主は血糖でない」ということは成り立つとすればそれは生え易いししかも階段室だ; fact20 -> int11: 仮にこの連隊長は成功し易いとすると「それは右回転でない一方で映画史だ」ということは間違っている; fact18 -> int12: この連隊長が右横だけど学び取らないなら最新バージョンでない; int12 & fact19 -> int13: この連隊長は最新バージョンでない; fact17 & int13 -> int14: この連隊長は成功し易い; int11 & int14 -> int15: 「この連隊長は右回転でないがしかし映画史だ」ということは成り立たない; int15 -> int16: 「「右回転でなくてその上映画史だ」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮になにかは胚胎する一方でそれは代表値でないとしたらそれは生え易いということはない fact2: 仮にこの秋思が階段室であるとすればその国主は胚胎するけど代表値でない fact3: もし紫苑は百十六ページ参照であるとすればそれは摂食中枢でない fact4: 仮にこの秋思は厚かましくないとしたら「「忠実忠実しかないかあるいは極まりなくないかまたはどちらもだ」ということは事実である」ということは事実と異なる fact5: 仮に何かは血糖であるということはないならば生え易いしまた階段室だ fact6: 仮にあるものは成功し易いなら「右回転でないしその上それは映画史だ」ということは嘘だ fact7: この連隊長は右横だ一方で学び取らない fact8: もしもこの基金型が厚かましくないとしたらその国主は血糖でない fact9: 仮にこの連隊長が最新バージョンだということはないとすればそれは成功し易い fact10: もし仮にこの基金型は映画史であるとしたらそれは血糖だ fact11: 仮にその国主が生え易くないとするとこの基金型は血糖でない fact12: その国主が階段室であるとしたらこの秋思は忠実忠実しいということはないかもしくは極まりなくないかあるいはどちらもだ fact13: 仮に右横が学び取らないとすると最新バージョンでない fact14: もしもなにかは階段室でないならば厚かましくない fact15: この基金型は映画史だ ; $hypothesis$ = この秋思は忠実忠実しかないかまたは極まりなくないかもしくはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。この秋思は階段室だ; fact2 & assump1 -> int1: その国主は胚胎するけれど代表値でない; fact1 -> int2: もしその国主は胚胎するがしかし代表値でないとしたら「生え易いということはない」ということは真実だ; int1 & int2 -> int3: 「その国主は生え易いということはない」ということは真実である; int3 & fact11 -> int4: この基金型は血糖でない; fact15 & fact10 -> int5: この基金型は血糖だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この秋思は階段室でない; fact14 -> int8: この秋思は階段室でないならばそれは厚かましくない; int7 & int8 -> int9: この秋思は厚かましくない; int9 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは胚胎する一方でそれは代表値でないとしたらそれは生え易いということはない
事実2: 仮にこの秋思が階段室であるとすればその国主は胚胎するけど代表値でない
事実3: もし紫苑は百十六ページ参照であるとすればそれは摂食中枢でない
事実4: 仮にこの秋思は厚かましくないとしたら「「忠実忠実しかないかあるいは極まりなくないかまたはどちらもだ」ということは事実である」ということは事実と異なる
事実5: 仮に何かは血糖であるということはないならば生え易いしまた階段室だ
事実6: 仮にあるものは成功し易いなら「右回転でないしその上それは映画史だ」ということは嘘だ
事実7: この連隊長は右横だ一方で学び取らない
事実8: もしもこの基金型が厚かましくないとしたらその国主は血糖でない
事実9: 仮にこの連隊長が最新バージョンだということはないとすればそれは成功し易い
事実10: もし仮にこの基金型は映画史であるとしたらそれは血糖だ
事実11: 仮にその国主が生え易くないとするとこの基金型は血糖でない
事実12: その国主が階段室であるとしたらこの秋思は忠実忠実しいということはないかもしくは極まりなくないかあるいはどちらもだ
事実13: 仮に右横が学び取らないとすると最新バージョンでない
事実14: もしもなにかは階段室でないならば厚かましくない
事実15: この基金型は映画史だ

仮説: この秋思は忠実忠実しかないかまたは極まりなくないかもしくはどちらもである
1. 仮定1: 以下のように仮定する。この秋思は階段室だ
2. 事実2と仮定1から、推論1: "その国主は胚胎するけれど代表値でない"が導かれる
3. 事実1から、推論2: "もしその国主は胚胎するがしかし代表値でないとしたら「生え易いということはない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "「その国主は生え易いということはない」ということは真実である"が導かれる
5. 推論3と事実11から、推論4: "この基金型は血糖でない"が導かれる
6. 事実15と事実10から、推論5: "この基金型は血糖だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この秋思は階段室でない"が導かれる
9. 事実14から、推論8: "この秋思は階段室でないならばそれは厚かましくない"が導かれる
10. 推論7と推論8から、推論9: "この秋思は厚かましくない"が導かれる
11. 推論9と事実4から、仮説が否定される

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