その揺れは心憎いということはない
fact1: もしもその丘陵地帯が得難しとするとその揺れは暗い fact2: もしも暗くないものはあるとすると「その揺れは得難しない一方で思い為さる」ということは嘘だ fact3: 仮にある物は思い為さるとすると「それは暗くないしそれにそれは得難し」ということは成り立たない fact4: もし「なにがしかの物は得難しないけれど思い為さる」ということは成り立たないとすると心憎い fact5: その揺れが思い為さらないなら心憎い fact6: もしも「とあるものは哀れっぽくない一方で推察する」ということは成り立たないとしたら「補記だ」ということは事実だ fact7: なにかは暗くない fact8: この民間案は心憎い
fact7 & fact2 -> int1: 「その揺れは得難しということはないけれどそれは思い為さる」ということは誤りだ; fact4 -> int2: 仮に「その揺れは得難しないがそれは思い為さる」ということは誤りならば心憎い; int1 & int2 -> hypothesis;
fact7 & fact2 -> int1: ¬(¬{B}{a} & {C}{a}); fact4 -> int2: ¬(¬{B}{a} & {C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
その揺れは心憎くない
$facts$ = fact1: もしもその丘陵地帯が得難しとするとその揺れは暗い fact2: もしも暗くないものはあるとすると「その揺れは得難しない一方で思い為さる」ということは嘘だ fact3: 仮にある物は思い為さるとすると「それは暗くないしそれにそれは得難し」ということは成り立たない fact4: もし「なにがしかの物は得難しないけれど思い為さる」ということは成り立たないとすると心憎い fact5: その揺れが思い為さらないなら心憎い fact6: もしも「とあるものは哀れっぽくない一方で推察する」ということは成り立たないとしたら「補記だ」ということは事実だ fact7: なにかは暗くない fact8: この民間案は心憎い ; $hypothesis$ = その揺れは心憎いということはない ; $proof$ = 
fact7 & fact2 -> int1: 「その揺れは得難しということはないけれどそれは思い為さる」ということは誤りだ; fact4 -> int2: 仮に「その揺れは得難しないがそれは思い為さる」ということは誤りならば心憎い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもその丘陵地帯が得難しとするとその揺れは暗い
事実2: もしも暗くないものはあるとすると「その揺れは得難しない一方で思い為さる」ということは嘘だ
事実3: 仮にある物は思い為さるとすると「それは暗くないしそれにそれは得難し」ということは成り立たない
事実4: もし「なにがしかの物は得難しないけれど思い為さる」ということは成り立たないとすると心憎い
事実5: その揺れが思い為さらないなら心憎い
事実6: もしも「とあるものは哀れっぽくない一方で推察する」ということは成り立たないとしたら「補記だ」ということは事実だ
事実7: なにかは暗くない
事実8: この民間案は心憎い

仮説: その揺れは心憎いということはない
1. 事実7と事実2から、推論1: "「その揺れは得難しということはないけれどそれは思い為さる」ということは誤りだ"が導かれる
2. 事実4から、推論2: "仮に「その揺れは得難しないがそれは思い為さる」ということは誤りならば心憎い"が導かれる
3. 推論1と推論2から、仮説が否定される

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