전제: 국제우주정거장지난 5월 30일 오후 3시 22분에 민간 기업에서 발사한 유인 우주선이 최초로 국제우주정거장에 성공적으로 도킹했다.
함의: 지난 5월 30일 오후 3시 22분 민간 기업에서 발사한 유인 우주선은 국제우주정거장에 도킹하는데 성공했다.
모순: 국제우주정거장에 성공적으로 도킹한 유인 우주선은 현재까지 없다.