「この両肩はトリップしない一方でかっ飛ばす」ということは本当でない
fact1: あの過酷さはトリップしない fact2: もしあの過酷さは越すとしたら「それは膿胸でなくて更にそれは時間である」ということは成り立つということはない fact3: あの過酷さは時間であるかあるいは敗走するかあるいは両方だ fact4: もしもとあるものは膿胸でないならばトリップしない fact5: もしあの過酷さが越すとすればこの両肩は膿胸でない fact6: 貧しくない物は人間らしくないが御宜しい fact7: あの過酷さは遣り易い fact8: あの過酷さは時間だ fact9: もしもこの両肩は膿胸でないならばそれはトリップしない fact10: 想像し難くないものは吊り易くないがしかし同乗する fact11: 「あの過酷さは菓子折でない」ということは事実である fact12: あの過酷さはかっ飛ばさない fact13: あの過酷さが時間であるかそれが越すとすればこの両肩は膿胸でない fact14: あの過酷さは環境権説でない fact15: あの過酷さはＲＩＳＫＳであるということはないけれど風見師だ fact16: この両肩がかっ飛ばすということはないならそれはトリップしない一方で越す fact17: もしこの両肩は越すということはないとすれば「それはトリップしないがしかしかっ飛ばす」ということは事実である fact18: この両肩はトリップしない fact19: あの過酷さは運転席である fact20: もし「なにがしかのものは膿胸でない」ということは成り立つならそれがトリップしないしさらにかっ飛ばす fact21: なんらかのものがピアスするということはないとしたら申し立てでなくてその上水溶化する fact22: 仮にあるものは時間だということはないならば「トリップしないしおまけにかっ飛ばす」ということは成り立つということはない
fact8 -> int1: あの過酷さは時間であるかまたは越す; int1 & fact13 -> int2: この両肩は膿胸でない; fact20 -> int3: もし仮にこの両肩は膿胸でないとしたらそれはトリップしないけれどかっ飛ばす; int2 & int3 -> hypothesis;
fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact13 -> int2: ¬{C}{b}; fact20 -> int3: ¬{C}{b} -> (¬{E}{b} & {D}{b}); int2 & int3 -> hypothesis;
「この両肩はトリップしないけれどかっ飛ばす」ということは間違いである
fact24 -> int4: もしこの両肩は時間でないとすれば「それはトリップしなくてそれはかっ飛ばす」ということは誤りだ;
$facts$ = fact1: あの過酷さはトリップしない fact2: もしあの過酷さは越すとしたら「それは膿胸でなくて更にそれは時間である」ということは成り立つということはない fact3: あの過酷さは時間であるかあるいは敗走するかあるいは両方だ fact4: もしもとあるものは膿胸でないならばトリップしない fact5: もしあの過酷さが越すとすればこの両肩は膿胸でない fact6: 貧しくない物は人間らしくないが御宜しい fact7: あの過酷さは遣り易い fact8: あの過酷さは時間だ fact9: もしもこの両肩は膿胸でないならばそれはトリップしない fact10: 想像し難くないものは吊り易くないがしかし同乗する fact11: 「あの過酷さは菓子折でない」ということは事実である fact12: あの過酷さはかっ飛ばさない fact13: あの過酷さが時間であるかそれが越すとすればこの両肩は膿胸でない fact14: あの過酷さは環境権説でない fact15: あの過酷さはＲＩＳＫＳであるということはないけれど風見師だ fact16: この両肩がかっ飛ばすということはないならそれはトリップしない一方で越す fact17: もしこの両肩は越すということはないとすれば「それはトリップしないがしかしかっ飛ばす」ということは事実である fact18: この両肩はトリップしない fact19: あの過酷さは運転席である fact20: もし「なにがしかのものは膿胸でない」ということは成り立つならそれがトリップしないしさらにかっ飛ばす fact21: なんらかのものがピアスするということはないとしたら申し立てでなくてその上水溶化する fact22: 仮にあるものは時間だということはないならば「トリップしないしおまけにかっ飛ばす」ということは成り立つということはない ; $hypothesis$ = 「この両肩はトリップしない一方でかっ飛ばす」ということは本当でない ; $proof$ = 
fact8 -> int1: あの過酷さは時間であるかまたは越す; int1 & fact13 -> int2: この両肩は膿胸でない; fact20 -> int3: もし仮にこの両肩は膿胸でないとしたらそれはトリップしないけれどかっ飛ばす; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの過酷さはトリップしない
事実2: もしあの過酷さは越すとしたら「それは膿胸でなくて更にそれは時間である」ということは成り立つということはない
事実3: あの過酷さは時間であるかあるいは敗走するかあるいは両方だ
事実4: もしもとあるものは膿胸でないならばトリップしない
事実5: もしあの過酷さが越すとすればこの両肩は膿胸でない
事実6: 貧しくない物は人間らしくないが御宜しい
事実7: あの過酷さは遣り易い
事実8: あの過酷さは時間だ
事実9: もしもこの両肩は膿胸でないならばそれはトリップしない
事実10: 想像し難くないものは吊り易くないがしかし同乗する
事実11: 「あの過酷さは菓子折でない」ということは事実である
事実12: あの過酷さはかっ飛ばさない
事実13: あの過酷さが時間であるかそれが越すとすればこの両肩は膿胸でない
事実14: あの過酷さは環境権説でない
事実15: あの過酷さはＲＩＳＫＳであるということはないけれど風見師だ
事実16: この両肩がかっ飛ばすということはないならそれはトリップしない一方で越す
事実17: もしこの両肩は越すということはないとすれば「それはトリップしないがしかしかっ飛ばす」ということは事実である
事実18: この両肩はトリップしない
事実19: あの過酷さは運転席である
事実20: もし「なにがしかのものは膿胸でない」ということは成り立つならそれがトリップしないしさらにかっ飛ばす
事実21: なんらかのものがピアスするということはないとしたら申し立てでなくてその上水溶化する
事実22: 仮にあるものは時間だということはないならば「トリップしないしおまけにかっ飛ばす」ということは成り立つということはない

仮説: 「この両肩はトリップしない一方でかっ飛ばす」ということは本当でない
1. 事実8から、推論1: "あの過酷さは時間であるかまたは越す"が導かれる
2. 推論1と事実13から、推論2: "この両肩は膿胸でない"が導かれる
3. 事実20から、推論3: "もし仮にこの両肩は膿胸でないとしたらそれはトリップしないけれどかっ飛ばす"が導かれる
4. 推論2と推論3から、仮説が否定される

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