あの雌花は左右され易いということはない
fact1: もし仮に動き易いということはないものは業務上であるとするとそれは左右され易くない fact2: 「あの編集マンは晒せないし森林浴実験であるということはない」ということは成り立たない fact3: 「あの編集マンは晒せないし森林浴実験でない」ということは成り立つということはないならばあの暗号方式は製作出来る fact4: もしも「あの暗号方式は製作出来る」ということは成り立つならあの雌花は動き易くないけど業務上である
fact3 & fact2 -> int1: あの暗号方式は製作出来る; int1 & fact4 -> int2: あの雌花は動き易くないけど業務上だ; fact1 -> int3: もしもあの雌花が動き易いということはない一方でそれは業務上であるならば左右され易くない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮に動き易いということはないものは業務上であるとするとそれは左右され易くない fact2: 「あの編集マンは晒せないし森林浴実験であるということはない」ということは成り立たない fact3: 「あの編集マンは晒せないし森林浴実験でない」ということは成り立つということはないならばあの暗号方式は製作出来る fact4: もしも「あの暗号方式は製作出来る」ということは成り立つならあの雌花は動き易くないけど業務上である ; $hypothesis$ = あの雌花は左右され易いということはない ; $proof$ = 
fact3 & fact2 -> int1: あの暗号方式は製作出来る; int1 & fact4 -> int2: あの雌花は動き易くないけど業務上だ; fact1 -> int3: もしもあの雌花が動き易いということはない一方でそれは業務上であるならば左右され易くない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に動き易いということはないものは業務上であるとするとそれは左右され易くない
事実2: 「あの編集マンは晒せないし森林浴実験であるということはない」ということは成り立たない
事実3: 「あの編集マンは晒せないし森林浴実験でない」ということは成り立つということはないならばあの暗号方式は製作出来る
事実4: もしも「あの暗号方式は製作出来る」ということは成り立つならあの雌花は動き易くないけど業務上である

仮説: あの雌花は左右され易いということはない
1. 事実3と事実2から、推論1: "あの暗号方式は製作出来る"が導かれる
2. 推論1と事実4から、推論2: "あの雌花は動き易くないけど業務上だ"が導かれる
3. 事実1から、推論3: "もしもあの雌花が動き易いということはない一方でそれは業務上であるならば左右され易くない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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