あの霊能は掃除し易くない
fact1: 「あの霊能は故無くなくて佐吉自身でない」ということは誤っている fact2: このアイスピックは航空労働者でない fact3: 「あの霊能は掃除し易くないしその上支部・分会でない」ということは誤っている fact4: あの暴れ馬は航空労働者でなくてその上それは該当しない fact5: あの霊能は航空労働者でない fact6: この温野菜は支部・分会でない fact7: この温野菜は御命じ下さる fact8: この温野菜が支部・分会だとすればあの霊能は掃除し易くない fact9: 「この温野菜は物珍しくないがしかし独り暮らしする」ということは間違いである fact10: もしもあの霊能が掃除し易くないとするとこの温野菜は実物大だということはない fact11: この温野菜は実物大でない fact12: この温野菜は掃除し易くない fact13: もしこの温野菜は支部・分会であるということはないとすれば「それは航空労働者でない一方で実物大である」ということは成り立たない fact14: 仮にあの霊能が支部・分会でないとすればこの温野菜は実物大でないしさらに掃除し易いということはない fact15: 「この温野菜は航空労働者であるということはないけれど実物大だ」ということは誤りだ fact16: 仮に「あの霊能は掃除し易いということはない」ということは成り立つとするとこの温野菜は航空労働者だということはなくてそれに実物大でない fact17: もしも「この温野菜は支部・分会である」ということは正しくないなら「それは航空労働者でないし更に実物大であるということはない」ということは偽である
void -> assump1: 以下のように仮定する。あの霊能は掃除し易くない; fact16 & assump1 -> int1: この温野菜は航空労働者でなくて実物大であるということはない; fact6 & fact17 -> int2: 「「この温野菜は航空労働者でないしそれは実物大でない」ということは本当だ」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの霊能は掃除し易くない
$facts$ = fact1: 「あの霊能は故無くなくて佐吉自身でない」ということは誤っている fact2: このアイスピックは航空労働者でない fact3: 「あの霊能は掃除し易くないしその上支部・分会でない」ということは誤っている fact4: あの暴れ馬は航空労働者でなくてその上それは該当しない fact5: あの霊能は航空労働者でない fact6: この温野菜は支部・分会でない fact7: この温野菜は御命じ下さる fact8: この温野菜が支部・分会だとすればあの霊能は掃除し易くない fact9: 「この温野菜は物珍しくないがしかし独り暮らしする」ということは間違いである fact10: もしもあの霊能が掃除し易くないとするとこの温野菜は実物大だということはない fact11: この温野菜は実物大でない fact12: この温野菜は掃除し易くない fact13: もしこの温野菜は支部・分会であるということはないとすれば「それは航空労働者でない一方で実物大である」ということは成り立たない fact14: 仮にあの霊能が支部・分会でないとすればこの温野菜は実物大でないしさらに掃除し易いということはない fact15: 「この温野菜は航空労働者であるということはないけれど実物大だ」ということは誤りだ fact16: 仮に「あの霊能は掃除し易いということはない」ということは成り立つとするとこの温野菜は航空労働者だということはなくてそれに実物大でない fact17: もしも「この温野菜は支部・分会である」ということは正しくないなら「それは航空労働者でないし更に実物大であるということはない」ということは偽である ; $hypothesis$ = あの霊能は掃除し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの霊能は掃除し易くない; fact16 & assump1 -> int1: この温野菜は航空労働者でなくて実物大であるということはない; fact6 & fact17 -> int2: 「「この温野菜は航空労働者でないしそれは実物大でない」ということは本当だ」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あの霊能は故無くなくて佐吉自身でない」ということは誤っている
事実2: このアイスピックは航空労働者でない
事実3: 「あの霊能は掃除し易くないしその上支部・分会でない」ということは誤っている
事実4: あの暴れ馬は航空労働者でなくてその上それは該当しない
事実5: あの霊能は航空労働者でない
事実6: この温野菜は支部・分会でない
事実7: この温野菜は御命じ下さる
事実8: この温野菜が支部・分会だとすればあの霊能は掃除し易くない
事実9: 「この温野菜は物珍しくないがしかし独り暮らしする」ということは間違いである
事実10: もしもあの霊能が掃除し易くないとするとこの温野菜は実物大だということはない
事実11: この温野菜は実物大でない
事実12: この温野菜は掃除し易くない
事実13: もしこの温野菜は支部・分会であるということはないとすれば「それは航空労働者でない一方で実物大である」ということは成り立たない
事実14: 仮にあの霊能が支部・分会でないとすればこの温野菜は実物大でないしさらに掃除し易いということはない
事実15: 「この温野菜は航空労働者であるということはないけれど実物大だ」ということは誤りだ
事実16: 仮に「あの霊能は掃除し易いということはない」ということは成り立つとするとこの温野菜は航空労働者だということはなくてそれに実物大でない
事実17: もしも「この温野菜は支部・分会である」ということは正しくないなら「それは航空労働者でないし更に実物大であるということはない」ということは偽である

仮説: あの霊能は掃除し易くない
1. 仮定1: 以下のように仮定する。あの霊能は掃除し易くない
2. 事実16と仮定1から、推論1: "この温野菜は航空労働者でなくて実物大であるということはない"が導かれる
3. 事実6と事実17から、推論2: "「「この温野菜は航空労働者でないしそれは実物大でない」ということは本当だ」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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