「このＯＣＮ等は宇宙船であるが行い易くない」ということは成り立たない
fact1: このＯＣＮ等が宇宙船であるがそれは行い易いということはない
$facts$ = fact1: このＯＣＮ等が宇宙船であるがそれは行い易いということはない ; $hypothesis$ = 「このＯＣＮ等は宇宙船であるが行い易くない」ということは成り立たない ; $proof$ = 
事実1: このＯＣＮ等が宇宙船であるがそれは行い易いということはない

仮説: 「このＯＣＮ等は宇宙船であるが行い易くない」ということは成り立たない