「その高次化は心細いということはない一方で来易い」ということは偽である
fact1: 「「敵うということはないしそれに悩ます」ということは偽である」物はある fact2: あの人間社会が特徴付けるとするとその留保利益は心細い fact3: もし仮に「なにがしかのものは呈するしそれにそれは来易い」ということは成り立たないならばそれは呈しない fact4: 「「「敵うしさらに悩ます」ということは成り立つ」ということは間違いである」物はある fact5: もし「「敵うないしさらに悩ます」ということは誤りな」物があればその留保利益は来易くない fact6: 痛ーいものはサーブである fact7: 「敵うないが悩ます」ものはある fact8: その留保利益が来易くないならばあの高次化は心細くないけれど来易い fact9: その高次化は来易い fact10: 仮になにがしかの物はサーブであるならそれは特徴付ける fact11: なにがしかの物がポルノ映画だということはないとしたら痛ーい fact12: もしその留保利益が来易くないとすればその高次化は来易い fact13: もし「敵う」物があるとしたらその留保利益は来易いということはない
fact1 & fact5 -> int1: その留保利益は来易くない; int1 & fact8 -> hypothesis;
fact1 & fact5 -> int1: ¬{A}{a}; int1 & fact8 -> hypothesis;
「その高次化は心細くないがしかし来易い」ということは成り立たない
fact17 -> int2: あの人間社会はサーブであるとしたら「それは特徴付ける」ということは確かである; fact15 -> int3: もしもあの人間社会は痛ーいとしたら「それはサーブだ」ということは確かである; fact14 -> int4: もし仮にあの人間社会はポルノ映画でないとしたら痛ーい;
$facts$ = fact1: 「「敵うということはないしそれに悩ます」ということは偽である」物はある fact2: あの人間社会が特徴付けるとするとその留保利益は心細い fact3: もし仮に「なにがしかのものは呈するしそれにそれは来易い」ということは成り立たないならばそれは呈しない fact4: 「「「敵うしさらに悩ます」ということは成り立つ」ということは間違いである」物はある fact5: もし「「敵うないしさらに悩ます」ということは誤りな」物があればその留保利益は来易くない fact6: 痛ーいものはサーブである fact7: 「敵うないが悩ます」ものはある fact8: その留保利益が来易くないならばあの高次化は心細くないけれど来易い fact9: その高次化は来易い fact10: 仮になにがしかの物はサーブであるならそれは特徴付ける fact11: なにがしかの物がポルノ映画だということはないとしたら痛ーい fact12: もしその留保利益が来易くないとすればその高次化は来易い fact13: もし「敵う」物があるとしたらその留保利益は来易いということはない ; $hypothesis$ = 「その高次化は心細いということはない一方で来易い」ということは偽である ; $proof$ = 
fact1 & fact5 -> int1: その留保利益は来易くない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 「「敵うということはないしそれに悩ます」ということは偽である」物はある
事実2: あの人間社会が特徴付けるとするとその留保利益は心細い
事実3: もし仮に「なにがしかのものは呈するしそれにそれは来易い」ということは成り立たないならばそれは呈しない
事実4: 「「「敵うしさらに悩ます」ということは成り立つ」ということは間違いである」物はある
事実5: もし「「敵うないしさらに悩ます」ということは誤りな」物があればその留保利益は来易くない
事実6: 痛ーいものはサーブである
事実7: 「敵うないが悩ます」ものはある
事実8: その留保利益が来易くないならばあの高次化は心細くないけれど来易い
事実9: その高次化は来易い
事実10: 仮になにがしかの物はサーブであるならそれは特徴付ける
事実11: なにがしかの物がポルノ映画だということはないとしたら痛ーい
事実12: もしその留保利益が来易くないとすればその高次化は来易い
事実13: もし「敵う」物があるとしたらその留保利益は来易いということはない

仮説: 「その高次化は心細いということはない一方で来易い」ということは偽である
1. 事実1と事実5から、推論1: "その留保利益は来易くない"が導かれる
2. 推論1と事実8から、仮説が否定される

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