この維持・管理は資産状態でない
fact1: この維持・管理はＦ／Ｍだ fact2: もし仮に「その上昇力は違いしかつ難しい」ということは成り立たないならばその老画家は難しいということはない fact3: とあるものは偽情報でないならば用心深くない fact4: 「もし「あの駐車は滞り易くないが成り難い」ということは偽であるとしたらあの駐車はフォー・シーズン・ズでない」ということは成り立つ fact5: とあるものは資産状態だということはないとすると「それは嫌々だということはなくて更にそれは偽情報だ」ということは偽だ fact6: もしこの維持・管理が偽情報でないとすればそれは用心深くない fact7: この維持・管理は微小面積であるということはない fact8: この維持・管理は難しいということはない fact9: もし仮に何かは難しかないとしたら発症し易い fact10: 仮に「とあるものは嫌々でないが偽情報である」ということは成り立たないとすると用心深くない fact11: 発症し易い物は用心深い fact12: その上昇力は違くない fact13: もしなにがしかの物は違くないなら「降格するしかつ区別し易い」ということは誤っている fact14: もし「何らかの物は降格するしおまけにそれは区別し易い」ということは本当でないならばそれは降格しない fact15: もしもその上昇力が難しかないとしたらその老画家は発症し易いしさらにそれは用心深い fact16: もし仮にこのＮＭＤＡ受容体複合体は降格しないならば「その上昇力は違いしおまけに難しい」ということは成り立たない fact17: もし仮になにかは降格しないとすればそれは難しかない
fact5 -> int1: もしこの維持・管理は資産状態だということはないならば「嫌々でないけれど偽情報である」ということは間違っている; void -> assump1: 以下のように仮定する。この維持・管理は資産状態でない; int1 & assump1 -> int2: 「この維持・管理は嫌々でないけれど偽情報である」ということは正しくない; fact10 -> int3: 「この維持・管理は嫌々でない一方で偽情報である」ということは正しくないとしたらそれは用心深くない; int2 & int3 -> int4: この維持・管理は用心深くない; fact9 -> int5: もしこの維持・管理が難しいということはないとしたら発症し易い; fact8 & int5 -> int6: この維持・管理は発症し易い; fact11 -> int7: 仮にこの維持・管理が発症し易いならそれは用心深い; int6 & int7 -> int8: この維持・管理は用心深い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その十四世紀末は資産状態である
fact22 -> int10: もしその上昇力が降格しないとすれば難しかない; fact18 -> int11: もしも「その上昇力は降格するししかもそれは区別し易い」ということは事実と異なればそれは降格するということはない; fact21 -> int12: もしその上昇力は違くないなら「降格するし区別し易い」ということは事実と異なる; int12 & fact20 -> int13: 「その上昇力は降格するし区別し易い」ということは成り立たない; int11 & int13 -> int14: 「その上昇力は降格しない」ということは成り立つ; int10 & int14 -> int15: その上昇力は難しかない; fact19 & int15 -> int16: その老画家は発症し易くておまけに用心深い; int16 -> int17: その老画家は用心深い; int17 -> int18: 用心深いものはある;
$facts$ = fact1: この維持・管理はＦ／Ｍだ fact2: もし仮に「その上昇力は違いしかつ難しい」ということは成り立たないならばその老画家は難しいということはない fact3: とあるものは偽情報でないならば用心深くない fact4: 「もし「あの駐車は滞り易くないが成り難い」ということは偽であるとしたらあの駐車はフォー・シーズン・ズでない」ということは成り立つ fact5: とあるものは資産状態だということはないとすると「それは嫌々だということはなくて更にそれは偽情報だ」ということは偽だ fact6: もしこの維持・管理が偽情報でないとすればそれは用心深くない fact7: この維持・管理は微小面積であるということはない fact8: この維持・管理は難しいということはない fact9: もし仮に何かは難しかないとしたら発症し易い fact10: 仮に「とあるものは嫌々でないが偽情報である」ということは成り立たないとすると用心深くない fact11: 発症し易い物は用心深い fact12: その上昇力は違くない fact13: もしなにがしかの物は違くないなら「降格するしかつ区別し易い」ということは誤っている fact14: もし「何らかの物は降格するしおまけにそれは区別し易い」ということは本当でないならばそれは降格しない fact15: もしもその上昇力が難しかないとしたらその老画家は発症し易いしさらにそれは用心深い fact16: もし仮にこのＮＭＤＡ受容体複合体は降格しないならば「その上昇力は違いしおまけに難しい」ということは成り立たない fact17: もし仮になにかは降格しないとすればそれは難しかない ; $hypothesis$ = この維持・管理は資産状態でない ; $proof$ = 
fact5 -> int1: もしこの維持・管理は資産状態だということはないならば「嫌々でないけれど偽情報である」ということは間違っている; void -> assump1: 以下のように仮定する。この維持・管理は資産状態でない; int1 & assump1 -> int2: 「この維持・管理は嫌々でないけれど偽情報である」ということは正しくない; fact10 -> int3: 「この維持・管理は嫌々でない一方で偽情報である」ということは正しくないとしたらそれは用心深くない; int2 & int3 -> int4: この維持・管理は用心深くない; fact9 -> int5: もしこの維持・管理が難しいということはないとしたら発症し易い; fact8 & int5 -> int6: この維持・管理は発症し易い; fact11 -> int7: 仮にこの維持・管理が発症し易いならそれは用心深い; int6 & int7 -> int8: この維持・管理は用心深い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: この維持・管理はＦ／Ｍだ
事実2: もし仮に「その上昇力は違いしかつ難しい」ということは成り立たないならばその老画家は難しいということはない
事実3: とあるものは偽情報でないならば用心深くない
事実4: 「もし「あの駐車は滞り易くないが成り難い」ということは偽であるとしたらあの駐車はフォー・シーズン・ズでない」ということは成り立つ
事実5: とあるものは資産状態だということはないとすると「それは嫌々だということはなくて更にそれは偽情報だ」ということは偽だ
事実6: もしこの維持・管理が偽情報でないとすればそれは用心深くない
事実7: この維持・管理は微小面積であるということはない
事実8: この維持・管理は難しいということはない
事実9: もし仮に何かは難しかないとしたら発症し易い
事実10: 仮に「とあるものは嫌々でないが偽情報である」ということは成り立たないとすると用心深くない
事実11: 発症し易い物は用心深い
事実12: その上昇力は違くない
事実13: もしなにがしかの物は違くないなら「降格するしかつ区別し易い」ということは誤っている
事実14: もし「何らかの物は降格するしおまけにそれは区別し易い」ということは本当でないならばそれは降格しない
事実15: もしもその上昇力が難しかないとしたらその老画家は発症し易いしさらにそれは用心深い
事実16: もし仮にこのＮＭＤＡ受容体複合体は降格しないならば「その上昇力は違いしおまけに難しい」ということは成り立たない
事実17: もし仮になにかは降格しないとすればそれは難しかない

仮説: この維持・管理は資産状態でない
1. 事実5から、推論1: "もしこの維持・管理は資産状態だということはないならば「嫌々でないけれど偽情報である」ということは間違っている"が導かれる
2. 仮定1: 以下のように仮定する。この維持・管理は資産状態でない
3. 推論1と仮定1から、推論2: "「この維持・管理は嫌々でないけれど偽情報である」ということは正しくない"が導かれる
4. 事実10から、推論3: "「この維持・管理は嫌々でない一方で偽情報である」ということは正しくないとしたらそれは用心深くない"が導かれる
5. 推論2と推論3から、推論4: "この維持・管理は用心深くない"が導かれる
6. 事実9から、推論5: "もしこの維持・管理が難しいということはないとしたら発症し易い"が導かれる
7. 事実8と推論5から、推論6: "この維持・管理は発症し易い"が導かれる
8. 事実11から、推論7: "仮にこの維持・管理が発症し易いならそれは用心深い"が導かれる
9. 推論6と推論7から、推論8: "この維持・管理は用心深い"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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