「あの軟部肉腫はし辛いかそれは不足し易くない」ということは誤りである
fact1: あの軟部肉腫はＥＵ委員会だということはない fact2: あの従物がし辛いならばあの軟部肉腫はＥＵ委員会でないがし辛い fact3: もし仮にあの従物が片付けないならそれは脆い fact4: もし仮にあの従物が片付けないならばそれは脆くてまたし辛い fact5: もしあの従物がし辛いならばあの軟部肉腫はＥＵ委員会であるということはない fact6: あの従物は脆い fact7: そのせせらぎ音は片付ける fact8: 仮になんらかの物が死しないなら片付けるし更にそれは軽々しい fact9: その親族関係は片付けない fact10: あの従物は片付けない fact11: あの軟部肉腫はし辛いかまたは不足し易いかまたは両方だ fact12: もし仮にあの従物が片付けるとするとあの軟部肉腫は脆いということはないけれど片付ける fact13: この二十三人は不足し易いし汚らわしい fact14: あの従物は脆くて加えてレポーターだ fact15: その刷新は脆い fact16: あの従物は不足し易い fact17: あの従物は財政運営上でない fact18: もし仮に何らかのものは片付けるなら「し辛いかそれは不足し易くないかあるいは両方ともだ」ということは偽だ
fact4 & fact10 -> int1: あの従物は脆いし更にし辛い; int1 -> int2: あの従物はし辛い; int2 & fact2 -> int3: あの軟部肉腫はＥＵ委員会でないがし辛い; int3 -> int4: あの軟部肉腫はし辛い; int4 -> hypothesis;
「あの軟部肉腫はし辛いかもしくは不足し易くない」ということは間違っている
fact19 -> int5: もし仮にあの軟部肉腫は片付ければ「し辛いかまたは不足し易くないか両方ともだ」ということは嘘である;
$facts$ = fact1: あの軟部肉腫はＥＵ委員会だということはない fact2: あの従物がし辛いならばあの軟部肉腫はＥＵ委員会でないがし辛い fact3: もし仮にあの従物が片付けないならそれは脆い fact4: もし仮にあの従物が片付けないならばそれは脆くてまたし辛い fact5: もしあの従物がし辛いならばあの軟部肉腫はＥＵ委員会であるということはない fact6: あの従物は脆い fact7: そのせせらぎ音は片付ける fact8: 仮になんらかの物が死しないなら片付けるし更にそれは軽々しい fact9: その親族関係は片付けない fact10: あの従物は片付けない fact11: あの軟部肉腫はし辛いかまたは不足し易いかまたは両方だ fact12: もし仮にあの従物が片付けるとするとあの軟部肉腫は脆いということはないけれど片付ける fact13: この二十三人は不足し易いし汚らわしい fact14: あの従物は脆くて加えてレポーターだ fact15: その刷新は脆い fact16: あの従物は不足し易い fact17: あの従物は財政運営上でない fact18: もし仮に何らかのものは片付けるなら「し辛いかそれは不足し易くないかあるいは両方ともだ」ということは偽だ ; $hypothesis$ = 「あの軟部肉腫はし辛いかそれは不足し易くない」ということは誤りである ; $proof$ = 
fact4 & fact10 -> int1: あの従物は脆いし更にし辛い; int1 -> int2: あの従物はし辛い; int2 & fact2 -> int3: あの軟部肉腫はＥＵ委員会でないがし辛い; int3 -> int4: あの軟部肉腫はし辛い; int4 -> hypothesis; __DISPROVED__
事実1: あの軟部肉腫はＥＵ委員会だということはない
事実2: あの従物がし辛いならばあの軟部肉腫はＥＵ委員会でないがし辛い
事実3: もし仮にあの従物が片付けないならそれは脆い
事実4: もし仮にあの従物が片付けないならばそれは脆くてまたし辛い
事実5: もしあの従物がし辛いならばあの軟部肉腫はＥＵ委員会であるということはない
事実6: あの従物は脆い
事実7: そのせせらぎ音は片付ける
事実8: 仮になんらかの物が死しないなら片付けるし更にそれは軽々しい
事実9: その親族関係は片付けない
事実10: あの従物は片付けない
事実11: あの軟部肉腫はし辛いかまたは不足し易いかまたは両方だ
事実12: もし仮にあの従物が片付けるとするとあの軟部肉腫は脆いということはないけれど片付ける
事実13: この二十三人は不足し易いし汚らわしい
事実14: あの従物は脆くて加えてレポーターだ
事実15: その刷新は脆い
事実16: あの従物は不足し易い
事実17: あの従物は財政運営上でない
事実18: もし仮に何らかのものは片付けるなら「し辛いかそれは不足し易くないかあるいは両方ともだ」ということは偽だ

仮説: 「あの軟部肉腫はし辛いかそれは不足し易くない」ということは誤りである
1. 事実4と事実10から、推論1: "あの従物は脆いし更にし辛い"が導かれる
2. 推論1から、推論2: "あの従物はし辛い"が導かれる
3. 推論2と事実2から、推論3: "あの軟部肉腫はＥＵ委員会でないがし辛い"が導かれる
4. 推論3から、推論4: "あの軟部肉腫はし辛い"が導かれる
5. 推論4から、仮説が否定される

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