「「もし退かさないとすれば「押し戻すが塑性化しない」ということは嘘である」ものはある」ということは誤っている
fact1: 「もしも掛かり易くないとすれば「忙しくて如此しない」ということは成り立つ」ものはある fact2: 「あるものはぎこちなくない」ということは本当ならば「起こり易いしそれは若いということはない」ということは間違いだ fact3: 「会社業務であるなら「掛かり易くて履き古すということはない」ということは誤りである」ものはある fact4: 「掛かり易くないとすると煉瓦積みであるけど変化し得ない」物はある fact5: もしこの門扉は退かすなら「それは押し戻すし塑性化しない」ということは真実でない fact6: 「もし仮に寄港するということはないならば「着易いし段差でない」ということは誤っている」ものはある fact7: 「もしも「退かさない」ということは成り立てば「押し戻すしかつ塑性化する」ということは嘘な」ものはある fact8: この門扉は退かさないとしたら「押し戻すしそれは塑性化しない」ということは誤っている fact9: もしこの門扉は申し入れないとすれば「それは売却出来るしかつ押し戻す」ということは成り立つということはない
fact8 -> hypothesis;
「ぎこちなくないとすれば「起こり易いがしかし若くない」ということは正しくない」ものはある
fact10 -> int1: 仮にこの貧困患者はぎこちなくないとしたら「それは起こり易いけど若くない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「もしも掛かり易くないとすれば「忙しくて如此しない」ということは成り立つ」ものはある fact2: 「あるものはぎこちなくない」ということは本当ならば「起こり易いしそれは若いということはない」ということは間違いだ fact3: 「会社業務であるなら「掛かり易くて履き古すということはない」ということは誤りである」ものはある fact4: 「掛かり易くないとすると煉瓦積みであるけど変化し得ない」物はある fact5: もしこの門扉は退かすなら「それは押し戻すし塑性化しない」ということは真実でない fact6: 「もし仮に寄港するということはないならば「着易いし段差でない」ということは誤っている」ものはある fact7: 「もしも「退かさない」ということは成り立てば「押し戻すしかつ塑性化する」ということは嘘な」ものはある fact8: この門扉は退かさないとしたら「押し戻すしそれは塑性化しない」ということは誤っている fact9: もしこの門扉は申し入れないとすれば「それは売却出来るしかつ押し戻す」ということは成り立つということはない ; $hypothesis$ = 「「もし退かさないとすれば「押し戻すが塑性化しない」ということは嘘である」ものはある」ということは誤っている ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 「もしも掛かり易くないとすれば「忙しくて如此しない」ということは成り立つ」ものはある
事実2: 「あるものはぎこちなくない」ということは本当ならば「起こり易いしそれは若いということはない」ということは間違いだ
事実3: 「会社業務であるなら「掛かり易くて履き古すということはない」ということは誤りである」ものはある
事実4: 「掛かり易くないとすると煉瓦積みであるけど変化し得ない」物はある
事実5: もしこの門扉は退かすなら「それは押し戻すし塑性化しない」ということは真実でない
事実6: 「もし仮に寄港するということはないならば「着易いし段差でない」ということは誤っている」ものはある
事実7: 「もしも「退かさない」ということは成り立てば「押し戻すしかつ塑性化する」ということは嘘な」ものはある
事実8: この門扉は退かさないとしたら「押し戻すしそれは塑性化しない」ということは誤っている
事実9: もしこの門扉は申し入れないとすれば「それは売却出来るしかつ押し戻す」ということは成り立つということはない

仮説: 「「もし退かさないとすれば「押し戻すが塑性化しない」ということは嘘である」ものはある」ということは誤っている
1. 事実8から、仮説が否定される

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