「このトラウマは切なくて歩き辛い」ということは誤っている
fact1: この社歴は歩き辛くない fact2: このトラウマがこよないなら無くない fact3: もしなにがしかの物がてかるないとすると変成するしおまけに肌寒い fact4: もしなにがしかのものが外側半規管であるかあるいは癲癇発作であるかあるいは両方であるなら「ばあかしかない」ということは成り立つ fact5: なんらかの物はこよないかまたは仕るかあるいは両方ともであるとすればそれは無くない fact6: もし仮にこのトラウマが通じ易いかあるいはそれがこよないならば物狂おしくない fact7: 「無くないものは切ないししかも歩き辛い」ということは正しい fact8: こよないものは仕らないかもしくは切なくないかもしくは両方だ fact9: このトラウマは仕る fact10: このトラウマは歩き辛い fact11: もしもこのトラウマが無くないとするとそれは歩き辛い fact12: もし仮に何かは仕らないかもしくは切なくないかもしくは両方であるとすればそれは切なくない fact13: 「こよないものは無くない」ということは成り立つ fact14: 仮にあの抗菌薬が無くないがしかし適用出来るとするとその社会的要素はこよない fact15: 「このトラウマはＲＷ処分だ」ということは正しい
fact9 -> int1: このトラウマはこよないかまたは仕るかどちらもである; fact5 -> int2: もし仮に「このトラウマはこよないかもしくは仕るか両方ともである」ということは成り立つとすると無くない; int1 & int2 -> int3: このトラウマは無くない; fact7 -> int4: 仮にこのトラウマが無くないならばそれは切ないしそれに歩き辛い; int3 & int4 -> hypothesis;
fact9 -> int1: ({A}{a} v {B}{a}); fact5 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact7 -> int4: ¬{C}{a} -> ({D}{a} & {E}{a}); int3 & int4 -> hypothesis;
「このトラウマは切なくて歩き辛い」ということは事実と異なる
fact16 -> int5: もしもその社会的要素が仕らないかもしくはそれは切なくないかあるいは両方なら切なくない; fact18 -> int6: 仮にその社会的要素がこよないとすると仕るということはないかそれは切なくないかあるいはどちらもである;
$facts$ = fact1: この社歴は歩き辛くない fact2: このトラウマがこよないなら無くない fact3: もしなにがしかの物がてかるないとすると変成するしおまけに肌寒い fact4: もしなにがしかのものが外側半規管であるかあるいは癲癇発作であるかあるいは両方であるなら「ばあかしかない」ということは成り立つ fact5: なんらかの物はこよないかまたは仕るかあるいは両方ともであるとすればそれは無くない fact6: もし仮にこのトラウマが通じ易いかあるいはそれがこよないならば物狂おしくない fact7: 「無くないものは切ないししかも歩き辛い」ということは正しい fact8: こよないものは仕らないかもしくは切なくないかもしくは両方だ fact9: このトラウマは仕る fact10: このトラウマは歩き辛い fact11: もしもこのトラウマが無くないとするとそれは歩き辛い fact12: もし仮に何かは仕らないかもしくは切なくないかもしくは両方であるとすればそれは切なくない fact13: 「こよないものは無くない」ということは成り立つ fact14: 仮にあの抗菌薬が無くないがしかし適用出来るとするとその社会的要素はこよない fact15: 「このトラウマはＲＷ処分だ」ということは正しい ; $hypothesis$ = 「このトラウマは切なくて歩き辛い」ということは誤っている ; $proof$ = 
fact9 -> int1: このトラウマはこよないかまたは仕るかどちらもである; fact5 -> int2: もし仮に「このトラウマはこよないかもしくは仕るか両方ともである」ということは成り立つとすると無くない; int1 & int2 -> int3: このトラウマは無くない; fact7 -> int4: 仮にこのトラウマが無くないならばそれは切ないしそれに歩き辛い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この社歴は歩き辛くない
事実2: このトラウマがこよないなら無くない
事実3: もしなにがしかの物がてかるないとすると変成するしおまけに肌寒い
事実4: もしなにがしかのものが外側半規管であるかあるいは癲癇発作であるかあるいは両方であるなら「ばあかしかない」ということは成り立つ
事実5: なんらかの物はこよないかまたは仕るかあるいは両方ともであるとすればそれは無くない
事実6: もし仮にこのトラウマが通じ易いかあるいはそれがこよないならば物狂おしくない
事実7: 「無くないものは切ないししかも歩き辛い」ということは正しい
事実8: こよないものは仕らないかもしくは切なくないかもしくは両方だ
事実9: このトラウマは仕る
事実10: このトラウマは歩き辛い
事実11: もしもこのトラウマが無くないとするとそれは歩き辛い
事実12: もし仮に何かは仕らないかもしくは切なくないかもしくは両方であるとすればそれは切なくない
事実13: 「こよないものは無くない」ということは成り立つ
事実14: 仮にあの抗菌薬が無くないがしかし適用出来るとするとその社会的要素はこよない
事実15: 「このトラウマはＲＷ処分だ」ということは正しい

仮説: 「このトラウマは切なくて歩き辛い」ということは誤っている
1. 事実9から、推論1: "このトラウマはこよないかまたは仕るかどちらもである"が導かれる
2. 事実5から、推論2: "もし仮に「このトラウマはこよないかもしくは仕るか両方ともである」ということは成り立つとすると無くない"が導かれる
3. 推論1と推論2から、推論3: "このトラウマは無くない"が導かれる
4. 事実7から、推論4: "仮にこのトラウマが無くないならばそれは切ないしそれに歩き辛い"が導かれる
5. 推論3と推論4から、仮説が否定される

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