あの二元はしゃあ無いということはない
fact1: あの二元は安しないけれど調教する fact2: もしあの二元は安しない一方で調教すればそれはしゃあ無い
$facts$ = fact1: あの二元は安しないけれど調教する fact2: もしあの二元は安しない一方で調教すればそれはしゃあ無い ; $hypothesis$ = あの二元はしゃあ無いということはない ; $proof$ = 
事実1: あの二元は安しないけれど調教する
事実2: もしあの二元は安しない一方で調教すればそれはしゃあ無い

仮説: あの二元はしゃあ無いということはない