あの基本規格は淀み無い
fact1: 仮にこの三回転が嫉妬深いとするとあの基本規格は淀み無い fact2: この三回転は嫉妬深い
$facts$ = fact1: 仮にこの三回転が嫉妬深いとするとあの基本規格は淀み無い fact2: この三回転は嫉妬深い ; $hypothesis$ = あの基本規格は淀み無い ; $proof$ = 
事実1: 仮にこの三回転が嫉妬深いとするとあの基本規格は淀み無い
事実2: この三回転は嫉妬深い

仮説: あの基本規格は淀み無い