その複合転輪はヴィーナスフォートであるということはないけれど十字架上だ
fact1: どれもこれもはヴィーナスフォートでないが十字架上である
$facts$ = fact1: どれもこれもはヴィーナスフォートでないが十字架上である ; $hypothesis$ = その複合転輪はヴィーナスフォートであるということはないけれど十字架上だ ; $proof$ = 
事実1: どれもこれもはヴィーナスフォートでないが十字架上である

仮説: その複合転輪はヴィーナスフォートであるということはないけれど十字架上だ