あの成功者は引っ張り回す
fact1: その混合廃棄物は格好付ける fact2: この小雪は格好付ければ「それは憂い」ということは確かである fact3: もしもこの小雪が割れ易いとしたらあの成功者は引っ張り回さない fact4: この小雪は格好付ける fact5: もし「この小雪は憂いかもしくは割れ易いか両方ともだ」ということは成り立つとしたら「あの成功者は引っ張り回さない」ということは成り立つ fact6: もしもこの二号車が錨泊するとすると憂い fact7: この小雪が引っ張り回すならその禁欲生活は割れ易くない
fact2 & fact4 -> int1: この小雪は憂い; int1 -> int2: この小雪は憂いかもしくは割れ易いかもしくはどちらもだ; int2 & fact5 -> hypothesis;
その禁欲生活は格好付けるかもしくは投獄する
$facts$ = fact1: その混合廃棄物は格好付ける fact2: この小雪は格好付ければ「それは憂い」ということは確かである fact3: もしもこの小雪が割れ易いとしたらあの成功者は引っ張り回さない fact4: この小雪は格好付ける fact5: もし「この小雪は憂いかもしくは割れ易いか両方ともだ」ということは成り立つとしたら「あの成功者は引っ張り回さない」ということは成り立つ fact6: もしもこの二号車が錨泊するとすると憂い fact7: この小雪が引っ張り回すならその禁欲生活は割れ易くない ; $hypothesis$ = あの成功者は引っ張り回す ; $proof$ = 
fact2 & fact4 -> int1: この小雪は憂い; int1 -> int2: この小雪は憂いかもしくは割れ易いかもしくはどちらもだ; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: その混合廃棄物は格好付ける
事実2: この小雪は格好付ければ「それは憂い」ということは確かである
事実3: もしもこの小雪が割れ易いとしたらあの成功者は引っ張り回さない
事実4: この小雪は格好付ける
事実5: もし「この小雪は憂いかもしくは割れ易いか両方ともだ」ということは成り立つとしたら「あの成功者は引っ張り回さない」ということは成り立つ
事実6: もしもこの二号車が錨泊するとすると憂い
事実7: この小雪が引っ張り回すならその禁欲生活は割れ易くない

仮説: あの成功者は引っ張り回す
1. 事実2と事実4から、推論1: "この小雪は憂い"が導かれる
2. 推論1から、推論2: "この小雪は憂いかもしくは割れ易いかもしくはどちらもだ"が導かれる
3. 推論2と事実5から、仮説が否定される

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