このチャフは軽ーくないがしかし働き掛ける
fact1: このチャフはレベルアップしない fact2: 「その侠客は働き掛けるし加えてそれは十七世紀だ」ということは成り立たない fact3: もしも「このチャフは軽ーくないがしかし鉄船である」ということは事実と異なるならレベルアップしない fact4: その侠客はレベルアップしないとしたら「このチャフは軽ーくないけれど働き掛ける」ということは間違っている fact5: 「このチャフは軽ーくないけれどそれは十七世紀だ」ということは間違いである fact6: あの飾り枠は利かない fact7: なんらかの物が鉄船ならばそれはレベルアップしない fact8: 「その侠客は鉄船であるしその上十七世紀である」ということは間違っている fact9: もし「何かは鉄船でないがしかし十七世紀である」ということは間違いであるとすればそれはレベルアップするということはない fact10: もしその侠客は利かないとすると「それは鉄船でないが十七世紀だ」ということは成り立たない fact11: もし仮に「とある物は利かないけれどレベルアップする」ということは成り立たないなら鉄船でない fact12: 仮に「何らかのものは枠線でないけれど十七世紀だ」ということは偽だとすればそれは体毎でない fact13: その侠客は利かない fact14: 「「このチャフは働き掛けないが比較し難い」ということは成り立つ」ということは誤っている
fact9 -> int1: 「その侠客は鉄船でないけれどそれは十七世紀だ」ということは間違いであるとすればそれはレベルアップしない; fact13 & fact10 -> int2: 「その侠客は鉄船でない一方で十七世紀だ」ということは誤りだ; int1 & int2 -> int3: その侠客はレベルアップしない; int3 & fact4 -> hypothesis;
もしも「このチャフは枠線でないが十七世紀だ」ということは事実と異なるとしたら体毎でない
fact15 -> hypothesis;
$facts$ = fact1: このチャフはレベルアップしない fact2: 「その侠客は働き掛けるし加えてそれは十七世紀だ」ということは成り立たない fact3: もしも「このチャフは軽ーくないがしかし鉄船である」ということは事実と異なるならレベルアップしない fact4: その侠客はレベルアップしないとしたら「このチャフは軽ーくないけれど働き掛ける」ということは間違っている fact5: 「このチャフは軽ーくないけれどそれは十七世紀だ」ということは間違いである fact6: あの飾り枠は利かない fact7: なんらかの物が鉄船ならばそれはレベルアップしない fact8: 「その侠客は鉄船であるしその上十七世紀である」ということは間違っている fact9: もし「何かは鉄船でないがしかし十七世紀である」ということは間違いであるとすればそれはレベルアップするということはない fact10: もしその侠客は利かないとすると「それは鉄船でないが十七世紀だ」ということは成り立たない fact11: もし仮に「とある物は利かないけれどレベルアップする」ということは成り立たないなら鉄船でない fact12: 仮に「何らかのものは枠線でないけれど十七世紀だ」ということは偽だとすればそれは体毎でない fact13: その侠客は利かない fact14: 「「このチャフは働き掛けないが比較し難い」ということは成り立つ」ということは誤っている ; $hypothesis$ = このチャフは軽ーくないがしかし働き掛ける ; $proof$ = 
fact9 -> int1: 「その侠客は鉄船でないけれどそれは十七世紀だ」ということは間違いであるとすればそれはレベルアップしない; fact13 & fact10 -> int2: 「その侠客は鉄船でない一方で十七世紀だ」ということは誤りだ; int1 & int2 -> int3: その侠客はレベルアップしない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: このチャフはレベルアップしない
事実2: 「その侠客は働き掛けるし加えてそれは十七世紀だ」ということは成り立たない
事実3: もしも「このチャフは軽ーくないがしかし鉄船である」ということは事実と異なるならレベルアップしない
事実4: その侠客はレベルアップしないとしたら「このチャフは軽ーくないけれど働き掛ける」ということは間違っている
事実5: 「このチャフは軽ーくないけれどそれは十七世紀だ」ということは間違いである
事実6: あの飾り枠は利かない
事実7: なんらかの物が鉄船ならばそれはレベルアップしない
事実8: 「その侠客は鉄船であるしその上十七世紀である」ということは間違っている
事実9: もし「何かは鉄船でないがしかし十七世紀である」ということは間違いであるとすればそれはレベルアップするということはない
事実10: もしその侠客は利かないとすると「それは鉄船でないが十七世紀だ」ということは成り立たない
事実11: もし仮に「とある物は利かないけれどレベルアップする」ということは成り立たないなら鉄船でない
事実12: 仮に「何らかのものは枠線でないけれど十七世紀だ」ということは偽だとすればそれは体毎でない
事実13: その侠客は利かない
事実14: 「「このチャフは働き掛けないが比較し難い」ということは成り立つ」ということは誤っている

仮説: このチャフは軽ーくないがしかし働き掛ける
1. 事実9から、推論1: "「その侠客は鉄船でないけれどそれは十七世紀だ」ということは間違いであるとすればそれはレベルアップしない"が導かれる
2. 事実13と事実10から、推論2: "「その侠客は鉄船でない一方で十七世紀だ」ということは誤りだ"が導かれる
3. 推論1と推論2から、推論3: "その侠客はレベルアップしない"が導かれる
4. 推論3と事実4から、仮説が否定される

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