「「「上昇期でなくてβ‐カロチンである」ということは成り立つということはないならば「ハイキングしない」ということは真実な」物はある」ということは成り立たない
fact1: もし仮に「その自我状態は上昇期でないけれどβ‐カロチンである」ということは間違いならばハイキングするということはない
$facts$ = fact1: もし仮に「その自我状態は上昇期でないけれどβ‐カロチンである」ということは間違いならばハイキングするということはない ; $hypothesis$ = 「「「上昇期でなくてβ‐カロチンである」ということは成り立つということはないならば「ハイキングしない」ということは真実な」物はある」ということは成り立たない ; $proof$ = 
事実1: もし仮に「その自我状態は上昇期でないけれどβ‐カロチンである」ということは間違いならばハイキングするということはない

仮説: 「「「上昇期でなくてβ‐カロチンである」ということは成り立つということはないならば「ハイキングしない」ということは真実な」物はある」ということは成り立たない