この耐性は救い難い
fact1: 何らかの物が伸び縮みすれば果てし無い fact2: もし「果てし無い」ものがあるとしたらそのボディーは中学生以上だ fact3: もし仮にそのドローボールがおどろおどろしいならその産業モデルはシステム理論でない fact4: もしその実践派が増悪するか溜まり易くないかまたは両方であるとしたらそのボディーは溜まり易くない fact5: もしその実践派が伸び縮みしないけれどそれが増悪すればこの耐性は救い難いということはない fact6: 果てし無くない物はある fact7: もしその実践派がデッサンするなら溜まり易くない fact8: その実践派はデッサンする fact9: もしも「果てし無くない」物があるとするとその実践派は伸び縮みしない一方で増悪する fact10: その産業モデルがシステム理論でないとするとこの耐性は伸び縮みするしそれは救い難い
fact6 & fact9 -> int1: その実践派は伸び縮みしないがそれは増悪する; int1 & fact5 -> hypothesis;
そのボディーは溜まり易いということはないけれどそれは中学生以上だ
fact12 & fact17 -> int2: その実践派は溜まり易くない; int2 -> int3: その実践派は増悪するかあるいは溜まり易くないかもしくは両方である; fact16 & int3 -> int4: そのボディーは溜まり易くない; fact14 -> int5: もしこの耐性が伸び縮みするなら果てし無い;
$facts$ = fact1: 何らかの物が伸び縮みすれば果てし無い fact2: もし「果てし無い」ものがあるとしたらそのボディーは中学生以上だ fact3: もし仮にそのドローボールがおどろおどろしいならその産業モデルはシステム理論でない fact4: もしその実践派が増悪するか溜まり易くないかまたは両方であるとしたらそのボディーは溜まり易くない fact5: もしその実践派が伸び縮みしないけれどそれが増悪すればこの耐性は救い難いということはない fact6: 果てし無くない物はある fact7: もしその実践派がデッサンするなら溜まり易くない fact8: その実践派はデッサンする fact9: もしも「果てし無くない」物があるとするとその実践派は伸び縮みしない一方で増悪する fact10: その産業モデルがシステム理論でないとするとこの耐性は伸び縮みするしそれは救い難い ; $hypothesis$ = この耐性は救い難い ; $proof$ = 
fact6 & fact9 -> int1: その実践派は伸び縮みしないがそれは増悪する; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 何らかの物が伸び縮みすれば果てし無い
事実2: もし「果てし無い」ものがあるとしたらそのボディーは中学生以上だ
事実3: もし仮にそのドローボールがおどろおどろしいならその産業モデルはシステム理論でない
事実4: もしその実践派が増悪するか溜まり易くないかまたは両方であるとしたらそのボディーは溜まり易くない
事実5: もしその実践派が伸び縮みしないけれどそれが増悪すればこの耐性は救い難いということはない
事実6: 果てし無くない物はある
事実7: もしその実践派がデッサンするなら溜まり易くない
事実8: その実践派はデッサンする
事実9: もしも「果てし無くない」物があるとするとその実践派は伸び縮みしない一方で増悪する
事実10: その産業モデルがシステム理論でないとするとこの耐性は伸び縮みするしそれは救い難い

仮説: この耐性は救い難い
1. 事実6と事実9から、推論1: "その実践派は伸び縮みしないがそれは増悪する"が導かれる
2. 推論1と事実5から、仮説が否定される

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