「「あのアルファルファは蹴り飛ばすししぶとい」ということは誤りである」ということは事実である
fact1: もし仮に「あの領収証は情けない一方で薄っぺらくない」ということは間違っていればこの人事管理制度は住まい造りである fact2: もしあるものが眩しいとしたらそれはしぶとくない fact3: もしもこの人事管理制度が慈悲深くてさらに住まい造りであるとすればあの代償行為は慈悲深くない fact4: この代償行為は発揮し易くない fact5: もしなにがしかの物は目敏いとすれば「「働き始めるしかつ見過ぎない」ということは成り立つ」ということは正しくない fact6: この代償行為は眩しくないとしたら「あのアルファルファは蹴り飛ばすしさらにしぶとい」ということは成り立たない fact7: 慈悲深くない物は発電するしさらに事務長だ fact8: もしもあのブリッジＶＴＲが不作法だとすればあの弁済金は五平方メートル以下だ fact9: もし仮にあの弁済金が五平方メートル以下であるとしたらその前期末は目敏い fact10: もし「何かは眩しくない一方で発揮し易い」ということは間違っているとするとそれはしぶといということはない fact11: もし「とあるものは発電する」ということは成り立つとすれば「それが申し立てないしさらにそれは発揮し易い」ということは偽だ fact12: あの道路交通上は蹴り飛ばさない一方でそれはボランティア活動だ fact13: この代償行為がしぶといということはないとするとあのアルファルファは蹴り飛ばすししぶとい fact14: もし仮に「その前期末は働き始めるけれど見過ぎない」ということは成り立たないとすればこの人事管理制度は慈悲深い fact15: もしあのブリッジＶＴＲは五平方メートル以下なら「あの弁済金は五平方メートル以下である」ということは成り立つ fact16: あのブリッジＶＴＲは不作法であるかもしくは五平方メートル以下だ
void -> assump1: 以下のように仮定する。この代償行為は眩しいということはないけれど発揮し易い; assump1 -> int1: この代償行為は発揮し易い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この代償行為は眩しくないが発揮し易い」ということは成り立たない; fact10 -> int4: もし仮に「この代償行為は眩しくないがしかし発揮し易い」ということは偽だとするとそれはしぶとくない; int3 & int4 -> int5: この代償行為はしぶとくない; int5 & fact13 -> hypothesis;
「あのアルファルファは蹴り飛ばすししぶとい」ということは成り立たない
fact27 -> int6: もしこの代償行為は発電するとしたら「申し立てない一方で発揮し易い」ということは成り立たない; fact21 -> int7: 仮にこの代償行為が慈悲深くないとすればそれは発電するしそれにそれは事務長である; fact25 -> int8: もしその前期末は目敏いとしたら「それは働き始めるしかつ見過ぎない」ということは誤りである; fact26 & fact19 & fact22 -> int9: あの弁済金は五平方メートル以下である; fact24 & int9 -> int10: その前期末は目敏い; int8 & int10 -> int11: 「その前期末は働き始めるけどそれは見過ぎない」ということは間違っている; fact18 & int11 -> int12: この人事管理制度は慈悲深い;
$facts$ = fact1: もし仮に「あの領収証は情けない一方で薄っぺらくない」ということは間違っていればこの人事管理制度は住まい造りである fact2: もしあるものが眩しいとしたらそれはしぶとくない fact3: もしもこの人事管理制度が慈悲深くてさらに住まい造りであるとすればあの代償行為は慈悲深くない fact4: この代償行為は発揮し易くない fact5: もしなにがしかの物は目敏いとすれば「「働き始めるしかつ見過ぎない」ということは成り立つ」ということは正しくない fact6: この代償行為は眩しくないとしたら「あのアルファルファは蹴り飛ばすしさらにしぶとい」ということは成り立たない fact7: 慈悲深くない物は発電するしさらに事務長だ fact8: もしもあのブリッジＶＴＲが不作法だとすればあの弁済金は五平方メートル以下だ fact9: もし仮にあの弁済金が五平方メートル以下であるとしたらその前期末は目敏い fact10: もし「何かは眩しくない一方で発揮し易い」ということは間違っているとするとそれはしぶといということはない fact11: もし「とあるものは発電する」ということは成り立つとすれば「それが申し立てないしさらにそれは発揮し易い」ということは偽だ fact12: あの道路交通上は蹴り飛ばさない一方でそれはボランティア活動だ fact13: この代償行為がしぶといということはないとするとあのアルファルファは蹴り飛ばすししぶとい fact14: もし仮に「その前期末は働き始めるけれど見過ぎない」ということは成り立たないとすればこの人事管理制度は慈悲深い fact15: もしあのブリッジＶＴＲは五平方メートル以下なら「あの弁済金は五平方メートル以下である」ということは成り立つ fact16: あのブリッジＶＴＲは不作法であるかもしくは五平方メートル以下だ ; $hypothesis$ = 「「あのアルファルファは蹴り飛ばすししぶとい」ということは誤りである」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この代償行為は眩しいということはないけれど発揮し易い; assump1 -> int1: この代償行為は発揮し易い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この代償行為は眩しくないが発揮し易い」ということは成り立たない; fact10 -> int4: もし仮に「この代償行為は眩しくないがしかし発揮し易い」ということは偽だとするとそれはしぶとくない; int3 & int4 -> int5: この代償行為はしぶとくない; int5 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの領収証は情けない一方で薄っぺらくない」ということは間違っていればこの人事管理制度は住まい造りである
事実2: もしあるものが眩しいとしたらそれはしぶとくない
事実3: もしもこの人事管理制度が慈悲深くてさらに住まい造りであるとすればあの代償行為は慈悲深くない
事実4: この代償行為は発揮し易くない
事実5: もしなにがしかの物は目敏いとすれば「「働き始めるしかつ見過ぎない」ということは成り立つ」ということは正しくない
事実6: この代償行為は眩しくないとしたら「あのアルファルファは蹴り飛ばすしさらにしぶとい」ということは成り立たない
事実7: 慈悲深くない物は発電するしさらに事務長だ
事実8: もしもあのブリッジＶＴＲが不作法だとすればあの弁済金は五平方メートル以下だ
事実9: もし仮にあの弁済金が五平方メートル以下であるとしたらその前期末は目敏い
事実10: もし「何かは眩しくない一方で発揮し易い」ということは間違っているとするとそれはしぶといということはない
事実11: もし「とあるものは発電する」ということは成り立つとすれば「それが申し立てないしさらにそれは発揮し易い」ということは偽だ
事実12: あの道路交通上は蹴り飛ばさない一方でそれはボランティア活動だ
事実13: この代償行為がしぶといということはないとするとあのアルファルファは蹴り飛ばすししぶとい
事実14: もし仮に「その前期末は働き始めるけれど見過ぎない」ということは成り立たないとすればこの人事管理制度は慈悲深い
事実15: もしあのブリッジＶＴＲは五平方メートル以下なら「あの弁済金は五平方メートル以下である」ということは成り立つ
事実16: あのブリッジＶＴＲは不作法であるかもしくは五平方メートル以下だ

仮説: 「「あのアルファルファは蹴り飛ばすししぶとい」ということは誤りである」ということは事実である
1. 仮定1: 以下のように仮定する。この代償行為は眩しいということはないけれど発揮し易い
2. 仮定1から、推論1: "この代償行為は発揮し易い"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この代償行為は眩しくないが発揮し易い」ということは成り立たない"が導かれる
5. 事実10から、推論4: "もし仮に「この代償行為は眩しくないがしかし発揮し易い」ということは偽だとするとそれはしぶとくない"が導かれる
6. 推論3と推論4から、推論5: "この代償行為はしぶとくない"が導かれる
7. 推論5と事実13から、仮説が否定される

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