その二派は上塗りしない
fact1: もしもとある物が親機であるとすればあの二派は上塗りするということはない fact2: 何らかの物は親機である
$facts$ = fact1: もしもとある物が親機であるとすればあの二派は上塗りするということはない fact2: 何らかの物は親機である ; $hypothesis$ = その二派は上塗りしない ; $proof$ = 
事実1: もしもとある物が親機であるとすればあの二派は上塗りするということはない
事実2: 何らかの物は親機である

仮説: その二派は上塗りしない