「あの元株は齧り付かないかまたは成され易くない」ということは成り立たない
fact1: あの元株は発揮し易くない fact2: もし仮に「なんらかの物は格好悪くないがしかし押し易い」ということは間違っているとしたらそれは著述家でない fact3: その熱現像は粗である fact4: 「この杆体は押し易くない一方で発揮し易い」ということは誤っている fact5: 仮にこのアナログモデムが成され易いとしたらそれは押し易い fact6: もし何らかのものは著述家でないならばそれは女性らしくないし更に成され易くない fact7: もしあるものは齧り付かないとしたら発揮し易くない fact8: 「その熱現像は誤り無い」ということは正しい fact9: 著述家は押し易い fact10: もしもその熱現像が発揮し易いとすればこのアナログモデムは押し易い fact11: この杆体は青白い fact12: あの元株は押し易い fact13: もしもその熱現像が誤り無いとしたら発揮し易い fact14: この杆体が成され易くないならあの元株は齧り付かないかまたは成され易いということはない fact15: もしその熱現像は粗であるとすると「女性らしいということはなくてそれに格好悪くない」ということは誤りだ fact16: 仮にある物は誤り無くないならば「それは齧り付くということはないかまたは成され易くないかあるいはどちらもである」ということは成り立たない fact17: このアナログモデムはめそめそしないしおまけに抜けない fact18: この杆体は齧り付かない fact19: もしこのアナログモデムは押し易いとすれば「この杆体は格好悪くない一方で押し易い」ということは成り立たない fact20: もしもなにがしかのものが著述家でないとすると女性らしくないしそれに発揮し易くない fact21: このアナログモデムは齧り付く
fact13 & fact8 -> int1: その熱現像は発揮し易い; int1 & fact10 -> int2: このアナログモデムは押し易い; int2 & fact19 -> int3: 「この杆体は格好悪いということはないが押し易い」ということは成り立たない; fact2 -> int4: 「この杆体は格好悪くないがそれは押し易い」ということは成り立たないとしたらそれは著述家だということはない; int3 & int4 -> int5: この杆体は著述家だということはない; fact6 -> int6: この杆体は著述家であるということはないならば女性らしくないしその上成され易くない; int5 & int6 -> int7: この杆体は女性らしくないししかもそれは成され易くない; int7 -> int8: 「この杆体は成され易いということはない」ということは嘘だということはない; int8 & fact14 -> hypothesis;
「あの元株は齧り付かないかあるいは成され易くないかまたはどちらもだ」ということは成り立たない
fact24 -> int9: 仮にあの元株は誤り無くないなら「齧り付かないかもしくはそれは成され易いということはないかあるいは両方である」ということは事実でない; fact25 -> int10: もしもあの元株が著述家だとすると押し易い; fact23 & fact22 -> int11: 「その熱現像は女性らしくないし格好悪くない」ということは成り立たない; int11 -> int12: 「「女性らしくないし格好悪くない」ということは事実と異なる」ものはある;
$facts$ = fact1: あの元株は発揮し易くない fact2: もし仮に「なんらかの物は格好悪くないがしかし押し易い」ということは間違っているとしたらそれは著述家でない fact3: その熱現像は粗である fact4: 「この杆体は押し易くない一方で発揮し易い」ということは誤っている fact5: 仮にこのアナログモデムが成され易いとしたらそれは押し易い fact6: もし何らかのものは著述家でないならばそれは女性らしくないし更に成され易くない fact7: もしあるものは齧り付かないとしたら発揮し易くない fact8: 「その熱現像は誤り無い」ということは正しい fact9: 著述家は押し易い fact10: もしもその熱現像が発揮し易いとすればこのアナログモデムは押し易い fact11: この杆体は青白い fact12: あの元株は押し易い fact13: もしもその熱現像が誤り無いとしたら発揮し易い fact14: この杆体が成され易くないならあの元株は齧り付かないかまたは成され易いということはない fact15: もしその熱現像は粗であるとすると「女性らしいということはなくてそれに格好悪くない」ということは誤りだ fact16: 仮にある物は誤り無くないならば「それは齧り付くということはないかまたは成され易くないかあるいはどちらもである」ということは成り立たない fact17: このアナログモデムはめそめそしないしおまけに抜けない fact18: この杆体は齧り付かない fact19: もしこのアナログモデムは押し易いとすれば「この杆体は格好悪くない一方で押し易い」ということは成り立たない fact20: もしもなにがしかのものが著述家でないとすると女性らしくないしそれに発揮し易くない fact21: このアナログモデムは齧り付く ; $hypothesis$ = 「あの元株は齧り付かないかまたは成され易くない」ということは成り立たない ; $proof$ = 
fact13 & fact8 -> int1: その熱現像は発揮し易い; int1 & fact10 -> int2: このアナログモデムは押し易い; int2 & fact19 -> int3: 「この杆体は格好悪いということはないが押し易い」ということは成り立たない; fact2 -> int4: 「この杆体は格好悪くないがそれは押し易い」ということは成り立たないとしたらそれは著述家だということはない; int3 & int4 -> int5: この杆体は著述家だということはない; fact6 -> int6: この杆体は著述家であるということはないならば女性らしくないしその上成され易くない; int5 & int6 -> int7: この杆体は女性らしくないししかもそれは成され易くない; int7 -> int8: 「この杆体は成され易いということはない」ということは嘘だということはない; int8 & fact14 -> hypothesis; __DISPROVED__
事実1: あの元株は発揮し易くない
事実2: もし仮に「なんらかの物は格好悪くないがしかし押し易い」ということは間違っているとしたらそれは著述家でない
事実3: その熱現像は粗である
事実4: 「この杆体は押し易くない一方で発揮し易い」ということは誤っている
事実5: 仮にこのアナログモデムが成され易いとしたらそれは押し易い
事実6: もし何らかのものは著述家でないならばそれは女性らしくないし更に成され易くない
事実7: もしあるものは齧り付かないとしたら発揮し易くない
事実8: 「その熱現像は誤り無い」ということは正しい
事実9: 著述家は押し易い
事実10: もしもその熱現像が発揮し易いとすればこのアナログモデムは押し易い
事実11: この杆体は青白い
事実12: あの元株は押し易い
事実13: もしもその熱現像が誤り無いとしたら発揮し易い
事実14: この杆体が成され易くないならあの元株は齧り付かないかまたは成され易いということはない
事実15: もしその熱現像は粗であるとすると「女性らしいということはなくてそれに格好悪くない」ということは誤りだ
事実16: 仮にある物は誤り無くないならば「それは齧り付くということはないかまたは成され易くないかあるいはどちらもである」ということは成り立たない
事実17: このアナログモデムはめそめそしないしおまけに抜けない
事実18: この杆体は齧り付かない
事実19: もしこのアナログモデムは押し易いとすれば「この杆体は格好悪くない一方で押し易い」ということは成り立たない
事実20: もしもなにがしかのものが著述家でないとすると女性らしくないしそれに発揮し易くない
事実21: このアナログモデムは齧り付く

仮説: 「あの元株は齧り付かないかまたは成され易くない」ということは成り立たない
1. 事実13と事実8から、推論1: "その熱現像は発揮し易い"が導かれる
2. 推論1と事実10から、推論2: "このアナログモデムは押し易い"が導かれる
3. 推論2と事実19から、推論3: "「この杆体は格好悪いということはないが押し易い」ということは成り立たない"が導かれる
4. 事実2から、推論4: "「この杆体は格好悪くないがそれは押し易い」ということは成り立たないとしたらそれは著述家だということはない"が導かれる
5. 推論3と推論4から、推論5: "この杆体は著述家だということはない"が導かれる
6. 事実6から、推論6: "この杆体は著述家であるということはないならば女性らしくないしその上成され易くない"が導かれる
7. 推論5と推論6から、推論7: "この杆体は女性らしくないししかもそれは成され易くない"が導かれる
8. 推論7から、推論8: "「この杆体は成され易いということはない」ということは嘘だということはない"が導かれる
9. 推論8と事実14から、仮説が否定される

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