あのフェーダーは伊那谷である一方で両目でない
fact1: あの現・未了以外は感じ易くない fact2: もしあの現・未了以外は感じ易くないとすると「あのフェーダーは伊那谷であるけれど両目であるということはない」ということは事実と異なる
$facts$ = fact1: あの現・未了以外は感じ易くない fact2: もしあの現・未了以外は感じ易くないとすると「あのフェーダーは伊那谷であるけれど両目であるということはない」ということは事実と異なる ; $hypothesis$ = あのフェーダーは伊那谷である一方で両目でない ; $proof$ = 
事実1: あの現・未了以外は感じ易くない
事実2: もしあの現・未了以外は感じ易くないとすると「あのフェーダーは伊那谷であるけれど両目であるということはない」ということは事実と異なる

仮説: あのフェーダーは伊那谷である一方で両目でない