「この吝嗇は日朝国交正常化交渉だ一方で冷え易くない」ということは成り立たない
fact1: 何かはざわつかないとしたらそれは描き切るかまたは冷え易いかまたは両方ともである fact2: もし仮に「この吝嗇は日朝国交正常化交渉であるがしかしそれは冷え易くない」ということは間違っているならそれは描き切らない fact3: もしも「持ち物でない」物はあるとしたら「この吝嗇はざわつくけど相談し易くない」ということは誤りだ fact4: 「この吝嗇は日朝国交正常化交渉だしかつ冷え易い」ということは本当でない fact5: 初々しい物は持ち物でない fact6: 「あの除塵は持ち物でないが描き切る」ということは誤っている fact7: もし仮にこの吝嗇が冷え易いならば描き切るということはない fact8: もし仮に「あの除塵は持ち物だということはないが描き切る」ということは誤っているとしたらこの吝嗇は描き切る fact9: あの有意味感は初々しくてさらに未練がましい fact10: 仮に「ある物はざわつくけれど相談し易くない」ということは間違いだとしたらざわつくということはない
void -> assump1: 以下のように仮定する。「この吝嗇は日朝国交正常化交渉だが冷え易くない」ということは偽である; fact2 & assump1 -> int1: この吝嗇は描き切らない; fact6 & fact8 -> int2: この吝嗇は描き切る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの除塵は冷え易い
fact12 -> int4: もし仮にこの吝嗇がざわつかないとしたら描き切るかあるいは冷え易いかもしくはどちらもである; fact15 -> int5: もしも「この吝嗇はざわつくがしかしそれは相談し易くない」ということは真実でないならばそれはざわつかない; fact13 -> int6: もし仮にあの有意味感が初々しいとすれば持ち物でない; fact14 -> int7: あの有意味感は初々しい; int6 & int7 -> int8: あの有意味感は持ち物でない; int8 -> int9: 「持ち物でない」ものはある; int9 & fact11 -> int10: 「この吝嗇はざわつくが相談し易くない」ということは間違いだ; int5 & int10 -> int11: この吝嗇はざわつくということはない; int4 & int11 -> int12: この吝嗇は描き切るかあるいはそれは冷え易いかまたは両方だ;
$facts$ = fact1: 何かはざわつかないとしたらそれは描き切るかまたは冷え易いかまたは両方ともである fact2: もし仮に「この吝嗇は日朝国交正常化交渉であるがしかしそれは冷え易くない」ということは間違っているならそれは描き切らない fact3: もしも「持ち物でない」物はあるとしたら「この吝嗇はざわつくけど相談し易くない」ということは誤りだ fact4: 「この吝嗇は日朝国交正常化交渉だしかつ冷え易い」ということは本当でない fact5: 初々しい物は持ち物でない fact6: 「あの除塵は持ち物でないが描き切る」ということは誤っている fact7: もし仮にこの吝嗇が冷え易いならば描き切るということはない fact8: もし仮に「あの除塵は持ち物だということはないが描き切る」ということは誤っているとしたらこの吝嗇は描き切る fact9: あの有意味感は初々しくてさらに未練がましい fact10: 仮に「ある物はざわつくけれど相談し易くない」ということは間違いだとしたらざわつくということはない ; $hypothesis$ = 「この吝嗇は日朝国交正常化交渉だ一方で冷え易くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この吝嗇は日朝国交正常化交渉だが冷え易くない」ということは偽である; fact2 & assump1 -> int1: この吝嗇は描き切らない; fact6 & fact8 -> int2: この吝嗇は描き切る; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 何かはざわつかないとしたらそれは描き切るかまたは冷え易いかまたは両方ともである
事実2: もし仮に「この吝嗇は日朝国交正常化交渉であるがしかしそれは冷え易くない」ということは間違っているならそれは描き切らない
事実3: もしも「持ち物でない」物はあるとしたら「この吝嗇はざわつくけど相談し易くない」ということは誤りだ
事実4: 「この吝嗇は日朝国交正常化交渉だしかつ冷え易い」ということは本当でない
事実5: 初々しい物は持ち物でない
事実6: 「あの除塵は持ち物でないが描き切る」ということは誤っている
事実7: もし仮にこの吝嗇が冷え易いならば描き切るということはない
事実8: もし仮に「あの除塵は持ち物だということはないが描き切る」ということは誤っているとしたらこの吝嗇は描き切る
事実9: あの有意味感は初々しくてさらに未練がましい
事実10: 仮に「ある物はざわつくけれど相談し易くない」ということは間違いだとしたらざわつくということはない

仮説: 「この吝嗇は日朝国交正常化交渉だ一方で冷え易くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「この吝嗇は日朝国交正常化交渉だが冷え易くない」ということは偽である
2. 事実2と仮定1から、推論1: "この吝嗇は描き切らない"が導かれる
3. 事実6と事実8から、推論2: "この吝嗇は描き切る"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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