その主観化は想定すらない
fact1: もしもその主観化は助け出さないなら「その実行中は長しないかもしくは明るいか両方である」ということは嘘である fact2: その振動暴露は想定すらない fact3: もしも「何かは長しないかもしくは明るいかもしくはどちらもだ」ということは事実と異なるとするとそれは想定すらない fact4: 「その諸目標は想定すらない」ということは成り立つ fact5: 「その主観化は想定すらない」ということは成り立つ
fact5 -> hypothesis;
fact5 -> hypothesis;
その実行中は想定すらない
fact6 -> int1: もし「その実行中は長しないかあるいは明るい」ということは成り立つということはないとすればそれは想定すらない;
$facts$ = fact1: もしもその主観化は助け出さないなら「その実行中は長しないかもしくは明るいか両方である」ということは嘘である fact2: その振動暴露は想定すらない fact3: もしも「何かは長しないかもしくは明るいかもしくはどちらもだ」ということは事実と異なるとするとそれは想定すらない fact4: 「その諸目標は想定すらない」ということは成り立つ fact5: 「その主観化は想定すらない」ということは成り立つ ; $hypothesis$ = その主観化は想定すらない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもその主観化は助け出さないなら「その実行中は長しないかもしくは明るいか両方である」ということは嘘である
事実2: その振動暴露は想定すらない
事実3: もしも「何かは長しないかもしくは明るいかもしくはどちらもだ」ということは事実と異なるとするとそれは想定すらない
事実4: 「その諸目標は想定すらない」ということは成り立つ
事実5: 「その主観化は想定すらない」ということは成り立つ

仮説: その主観化は想定すらない
1. 事実5から、仮説が導かれる

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