「「この傀儡はせせこましいしさらにそれは許し難い」ということは成り立つ」ということは成り立つということはない
fact1: もしもこのグリーンピースが世知辛いとするとその下巻は世知辛い fact2: 「このプルダウンメニューは血路でないが秘密めかす」ということは成り立たない fact3: 何らかのものは承接関係でないならば「せせこましいし許し難い」ということは事実だということはない fact4: もし仮にその下巻が世知辛いとすると切れ易い fact5: 仮に「なんらかの物は大成功しないがしかしそれは無茶する」ということは成り立たないならば無茶しない fact6: とある物は確立・整備するかもしくは慌ただしくないならそれは学び為さらない fact7: もしもなんらかのものはざらざらしないがもどかしいならそれは承接関係でない fact8: この前中心は秘密めかさない fact9: 仮にこの黄銅が取っ付き易いとすればそれは記憶障害でない fact10: このグリーンピースは世知辛い fact11: この各年齢層は酌婦であるし大人し fact12: もし「このプルダウンメニューは秘密めかさないがしかしせせこましい」ということは間違っているとすればそれは許し難くない fact13: このプルダウンメニューが秘密めかすしその上それは手術用である fact14: 仮に「何かは悲しいということはないけれど賢い」ということは誤っているとすれば「調べ易くない」ということは成り立つ fact15: 「何かは血路だということはないけれど秘密めかす」ということは本当でないとするとせせこましくない fact16: この傀儡は秘密めかす fact17: もし何かは無茶するということはないとするとそれはざらざらしなくて加えてもどかしい fact18: 「このプルダウンメニューはせせこましくない」ということは成り立つとするとこの傀儡はせせこましくておまけに許し難い fact19: 仮にその下巻は切れ易いならば「確立・整備しない」ということは誤っている fact20: もし「なんらかのものは玻璃だということはない一方で狭窄する」ということは誤っているならそれは小汚くない
fact15 -> int1: もし仮に「このプルダウンメニューは血路だということはないけど秘密めかす」ということは間違いだとするとせせこましいということはない; int1 & fact2 -> int2: このプルダウンメニューはせせこましくない; int2 & fact18 -> hypothesis;
fact15 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact18 -> hypothesis;
「この傀儡はせせこましいし更に許し難い」ということは嘘である
fact21 -> int3: もし仮にこの傀儡は承接関係だということはないとすると「それはせせこましいしそれに許し難い」ということは成り立つということはない; fact27 -> int4: 仮にこの傀儡はざらざらするということはないけれどもどかしいならばそれは承接関係でない; fact26 -> int5: 仮にこの傀儡が無茶しないとするとざらざらしないがしかしもどかしい; fact22 -> int6: もし「この傀儡は大成功するということはないがしかし無茶する」ということは間違っているならそれは無茶しない; fact28 -> int7: もしもその下巻は確立・整備するか慌ただしくないならばそれは学び為さらない; fact25 & fact29 -> int8: 「その下巻は世知辛い」ということは本当だ; fact23 & int8 -> int9: その下巻は切れ易い; fact24 & int9 -> int10: その下巻は確立・整備する; int10 -> int11: その下巻は確立・整備するかあるいは慌ただしくないか両方ともである; int7 & int11 -> int12: その下巻は学び為さらない; int12 -> int13: 「学び為さらない」ものはある;
$facts$ = fact1: もしもこのグリーンピースが世知辛いとするとその下巻は世知辛い fact2: 「このプルダウンメニューは血路でないが秘密めかす」ということは成り立たない fact3: 何らかのものは承接関係でないならば「せせこましいし許し難い」ということは事実だということはない fact4: もし仮にその下巻が世知辛いとすると切れ易い fact5: 仮に「なんらかの物は大成功しないがしかしそれは無茶する」ということは成り立たないならば無茶しない fact6: とある物は確立・整備するかもしくは慌ただしくないならそれは学び為さらない fact7: もしもなんらかのものはざらざらしないがもどかしいならそれは承接関係でない fact8: この前中心は秘密めかさない fact9: 仮にこの黄銅が取っ付き易いとすればそれは記憶障害でない fact10: このグリーンピースは世知辛い fact11: この各年齢層は酌婦であるし大人し fact12: もし「このプルダウンメニューは秘密めかさないがしかしせせこましい」ということは間違っているとすればそれは許し難くない fact13: このプルダウンメニューが秘密めかすしその上それは手術用である fact14: 仮に「何かは悲しいということはないけれど賢い」ということは誤っているとすれば「調べ易くない」ということは成り立つ fact15: 「何かは血路だということはないけれど秘密めかす」ということは本当でないとするとせせこましくない fact16: この傀儡は秘密めかす fact17: もし何かは無茶するということはないとするとそれはざらざらしなくて加えてもどかしい fact18: 「このプルダウンメニューはせせこましくない」ということは成り立つとするとこの傀儡はせせこましくておまけに許し難い fact19: 仮にその下巻は切れ易いならば「確立・整備しない」ということは誤っている fact20: もし「なんらかのものは玻璃だということはない一方で狭窄する」ということは誤っているならそれは小汚くない ; $hypothesis$ = 「「この傀儡はせせこましいしさらにそれは許し難い」ということは成り立つ」ということは成り立つということはない ; $proof$ = 
fact15 -> int1: もし仮に「このプルダウンメニューは血路だということはないけど秘密めかす」ということは間違いだとするとせせこましいということはない; int1 & fact2 -> int2: このプルダウンメニューはせせこましくない; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: もしもこのグリーンピースが世知辛いとするとその下巻は世知辛い
事実2: 「このプルダウンメニューは血路でないが秘密めかす」ということは成り立たない
事実3: 何らかのものは承接関係でないならば「せせこましいし許し難い」ということは事実だということはない
事実4: もし仮にその下巻が世知辛いとすると切れ易い
事実5: 仮に「なんらかの物は大成功しないがしかしそれは無茶する」ということは成り立たないならば無茶しない
事実6: とある物は確立・整備するかもしくは慌ただしくないならそれは学び為さらない
事実7: もしもなんらかのものはざらざらしないがもどかしいならそれは承接関係でない
事実8: この前中心は秘密めかさない
事実9: 仮にこの黄銅が取っ付き易いとすればそれは記憶障害でない
事実10: このグリーンピースは世知辛い
事実11: この各年齢層は酌婦であるし大人し
事実12: もし「このプルダウンメニューは秘密めかさないがしかしせせこましい」ということは間違っているとすればそれは許し難くない
事実13: このプルダウンメニューが秘密めかすしその上それは手術用である
事実14: 仮に「何かは悲しいということはないけれど賢い」ということは誤っているとすれば「調べ易くない」ということは成り立つ
事実15: 「何かは血路だということはないけれど秘密めかす」ということは本当でないとするとせせこましくない
事実16: この傀儡は秘密めかす
事実17: もし何かは無茶するということはないとするとそれはざらざらしなくて加えてもどかしい
事実18: 「このプルダウンメニューはせせこましくない」ということは成り立つとするとこの傀儡はせせこましくておまけに許し難い
事実19: 仮にその下巻は切れ易いならば「確立・整備しない」ということは誤っている
事実20: もし「なんらかのものは玻璃だということはない一方で狭窄する」ということは誤っているならそれは小汚くない

仮説: 「「この傀儡はせせこましいしさらにそれは許し難い」ということは成り立つ」ということは成り立つということはない
1. 事実15から、推論1: "もし仮に「このプルダウンメニューは血路だということはないけど秘密めかす」ということは間違いだとするとせせこましいということはない"が導かれる
2. 推論1と事実2から、推論2: "このプルダウンメニューはせせこましくない"が導かれる
3. 推論2と事実18から、仮説が否定される

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