「その修羅は絶え間無くない」ということは成り立つ
fact1: とあるものは海外製品であるということはないならば絶え間無いし摘める fact2: もし何らかの物が摘めるしそれに海外製品だとするとそれは絶え間無いということはない fact3: その修羅は摘める fact4: その修羅は海外製品である fact5: その増加応力δσＺは摘める
fact3 & fact4 -> int1: その修羅は摘めるし海外製品だ; fact2 -> int2: 仮にその修羅が摘めるしそれが海外製品だとするとそれは絶え間無くない; int1 & int2 -> hypothesis;
その修羅は絶え間無い
fact6 -> int3: 仮にその修羅が海外製品でないとするとそれは絶え間無いししかもそれは摘める;
$facts$ = fact1: とあるものは海外製品であるということはないならば絶え間無いし摘める fact2: もし何らかの物が摘めるしそれに海外製品だとするとそれは絶え間無いということはない fact3: その修羅は摘める fact4: その修羅は海外製品である fact5: その増加応力δσＺは摘める ; $hypothesis$ = 「その修羅は絶え間無くない」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: その修羅は摘めるし海外製品だ; fact2 -> int2: 仮にその修羅が摘めるしそれが海外製品だとするとそれは絶え間無くない; int1 & int2 -> hypothesis; __PROVED__
事実1: とあるものは海外製品であるということはないならば絶え間無いし摘める
事実2: もし何らかの物が摘めるしそれに海外製品だとするとそれは絶え間無いということはない
事実3: その修羅は摘める
事実4: その修羅は海外製品である
事実5: その増加応力δσＺは摘める

仮説: 「その修羅は絶え間無くない」ということは成り立つ
1. 事実3と事実4から、推論1: "その修羅は摘めるし海外製品だ"が導かれる
2. 事実2から、推論2: "仮にその修羅が摘めるしそれが海外製品だとするとそれは絶え間無くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。