このオートパイロットは取れ難いということはない
fact1: 「取り扱い易いということはないかあるいはターンしないかもしくは両方である」ものはある fact2: もしなにがしかの物が取り扱い易くないかもしくはターンしないかどちらもであるとすればあのオートパイロットは取れ難くない
$facts$ = fact1: 「取り扱い易いということはないかあるいはターンしないかもしくは両方である」ものはある fact2: もしなにがしかの物が取り扱い易くないかもしくはターンしないかどちらもであるとすればあのオートパイロットは取れ難くない ; $hypothesis$ = このオートパイロットは取れ難いということはない ; $proof$ = 
事実1: 「取り扱い易いということはないかあるいはターンしないかもしくは両方である」ものはある
事実2: もしなにがしかの物が取り扱い易くないかもしくはターンしないかどちらもであるとすればあのオートパイロットは取れ難くない

仮説: このオートパイロットは取れ難いということはない