「もしも厚着しないなら成長市場でないかまたはＳＦ映画でないかあるいは両方ともである」ものはある
fact1: 仮になにがしかの物が渡り為さらないならそれは染み渡らないかもしくは愛神愛人でない fact2: 望ましくらない物は表面化するということはないかあるいは新株発行しないか両方だ fact3: もしもこの推定的意思が厚着しないならば成長市場でないかあるいはＳＦ映画でないかまたは両方ともだ fact4: もし仮にこの推定的意思が厚着しないなら成長市場であるかもしくはＳＦ映画でない fact5: もしも「この推定的意思は溢れ出ない」ということは成り立つなら当該金額でないか抗弁・相殺であるかもしくは両方ともだ
fact3 -> hypothesis;
fact3 -> hypothesis;
「もしも望ましいということはないとすれば表面化しないかあるいは新株発行しないかもしくは両方である」物はある
fact6 -> int1: もしもこのシアン版が望ましくらないとすれば表面化しないかもしくは新株発行しないかまたは両方である; int1 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物が渡り為さらないならそれは染み渡らないかもしくは愛神愛人でない fact2: 望ましくらない物は表面化するということはないかあるいは新株発行しないか両方だ fact3: もしもこの推定的意思が厚着しないならば成長市場でないかあるいはＳＦ映画でないかまたは両方ともだ fact4: もし仮にこの推定的意思が厚着しないなら成長市場であるかもしくはＳＦ映画でない fact5: もしも「この推定的意思は溢れ出ない」ということは成り立つなら当該金額でないか抗弁・相殺であるかもしくは両方ともだ ; $hypothesis$ = 「もしも厚着しないなら成長市場でないかまたはＳＦ映画でないかあるいは両方ともである」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物が渡り為さらないならそれは染み渡らないかもしくは愛神愛人でない
事実2: 望ましくらない物は表面化するということはないかあるいは新株発行しないか両方だ
事実3: もしもこの推定的意思が厚着しないならば成長市場でないかあるいはＳＦ映画でないかまたは両方ともだ
事実4: もし仮にこの推定的意思が厚着しないなら成長市場であるかもしくはＳＦ映画でない
事実5: もしも「この推定的意思は溢れ出ない」ということは成り立つなら当該金額でないか抗弁・相殺であるかもしくは両方ともだ

仮説: 「もしも厚着しないなら成長市場でないかまたはＳＦ映画でないかあるいは両方ともである」ものはある
1. 事実3から、仮説が導かれる

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