the glacier is a sail if that the polygraph is reducible is correct.
sent1: if something is not a sail and does not compensate on-license then the polygraph is not reducible. sent2: there exists something such that that it is not a pinwheel and is not capsular does not hold.
void -> assump1: Let's assume that the polygraph is reducible.;
$hypothesis$ = the glacier is a sail if that the polygraph is reducible is correct. ; $context$ = sent1: if something is not a sail and does not compensate on-license then the polygraph is not reducible. sent2: there exists something such that that it is not a pinwheel and is not capsular does not hold. ; $proof$ = 
void -> assump1: Let's assume that the polygraph is reducible.; __UNKNOWN__