もし仮に「あのライン・インターフェースは出易いということはないかもしくはそれは堆積岩であるかまたは両方ともだ」ということは偽であるとすると考う
fact1: もし仮に「なにがしかの物は出易くないかあるいは堆積岩であるかもしくは両方ともである」ということは成り立たないとすれば考う
$facts$ = fact1: もし仮に「なにがしかの物は出易くないかあるいは堆積岩であるかもしくは両方ともである」ということは成り立たないとすれば考う ; $hypothesis$ = もし仮に「あのライン・インターフェースは出易いということはないかもしくはそれは堆積岩であるかまたは両方ともだ」ということは偽であるとすると考う ; $proof$ = 
事実1: もし仮に「なにがしかの物は出易くないかあるいは堆積岩であるかもしくは両方ともである」ということは成り立たないとすれば考う

仮説: もし仮に「あのライン・インターフェースは出易いということはないかもしくはそれは堆積岩であるかまたは両方ともだ」ということは偽であるとすると考う