この揺すり椅子は変装するということはなくて影響され易くない
fact1: すべての物は青くてかつ一弱でない fact2: あの草刈り掃部は変装しない fact3: 「この夢博物館は為替業務でないしそれに厳命でない」ということは事実と異なる fact4: もしもこの揺すり椅子は為替業務なら「それは込み入るしそれは実務でない」ということは事実と異なる fact5: もしも「この揺すり椅子は言い辛くない一方で青い」ということは偽ならば変装しない fact6: この中吉は言い辛くない fact7: この揺すり椅子は変装しない fact8: この揺すり椅子は掻き消えるししかもそれは本最大判だ fact9: この揺すり椅子が産学官でなくてそれに歌舞伎っぽくないならばそれは言い辛くない fact10: 「この揺すり椅子は青い」ということは本当だ fact11: もし「この揺すり椅子は込み入る一方でそれは実務だということはない」ということは間違っているとすればこの十一年目以降は実務である fact12: もしもなにがしかの物は込み入るなら「言い辛くないし更に青い」ということは成り立たない fact13: この揺すり椅子は温いということはない fact14: 「この揺すり椅子は変装するが影響され易くない」ということは偽である fact15: この揺すり椅子が変装するけど影響され易くないならばそれは言い辛いということはない fact16: もしも「とあるものは為替業務である」ということは本当だとすると込み入る fact17: この揺すり椅子は言い辛くてまた青い fact18: 仮にこの揺すり椅子が変装しないしそれが影響され易くないならば言い辛くない
void -> assump1: 以下のように仮定する。この揺すり椅子は変装しないし加えてそれは影響され易いということはない; fact18 & assump1 -> int1: この揺すり椅子は言い辛くない; fact17 -> int2: この揺すり椅子は言い辛い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この揺すり椅子が変装しないしさらに影響され易くない
fact21 -> int4: 仮に「この揺すり椅子は込み入る」ということは真実だとすれば「「それが言い辛くないしさらにそれは青い」ということは成り立つ」ということは事実と異なる; fact19 -> int5: もし仮にこの揺すり椅子は為替業務であるとすればそれは込み入る;
$facts$ = fact1: すべての物は青くてかつ一弱でない fact2: あの草刈り掃部は変装しない fact3: 「この夢博物館は為替業務でないしそれに厳命でない」ということは事実と異なる fact4: もしもこの揺すり椅子は為替業務なら「それは込み入るしそれは実務でない」ということは事実と異なる fact5: もしも「この揺すり椅子は言い辛くない一方で青い」ということは偽ならば変装しない fact6: この中吉は言い辛くない fact7: この揺すり椅子は変装しない fact8: この揺すり椅子は掻き消えるししかもそれは本最大判だ fact9: この揺すり椅子が産学官でなくてそれに歌舞伎っぽくないならばそれは言い辛くない fact10: 「この揺すり椅子は青い」ということは本当だ fact11: もし「この揺すり椅子は込み入る一方でそれは実務だということはない」ということは間違っているとすればこの十一年目以降は実務である fact12: もしもなにがしかの物は込み入るなら「言い辛くないし更に青い」ということは成り立たない fact13: この揺すり椅子は温いということはない fact14: 「この揺すり椅子は変装するが影響され易くない」ということは偽である fact15: この揺すり椅子が変装するけど影響され易くないならばそれは言い辛いということはない fact16: もしも「とあるものは為替業務である」ということは本当だとすると込み入る fact17: この揺すり椅子は言い辛くてまた青い fact18: 仮にこの揺すり椅子が変装しないしそれが影響され易くないならば言い辛くない ; $hypothesis$ = この揺すり椅子は変装するということはなくて影響され易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この揺すり椅子は変装しないし加えてそれは影響され易いということはない; fact18 & assump1 -> int1: この揺すり椅子は言い辛くない; 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: この揺すり椅子は言い辛くてまた青い
事実18: 仮にこの揺すり椅子が変装しないしそれが影響され易くないならば言い辛くない

仮説: この揺すり椅子は変装するということはなくて影響され易くない
1. 仮定1: 以下のように仮定する。この揺すり椅子は変装しないし加えてそれは影響され易いということはない
2. 事実18と仮定1から、推論1: "この揺すり椅子は言い辛くない"が導かれる
3. 事実17から、推論2: "この揺すり椅子は言い辛い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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