the tear signifies.
sent1: the Paiute redirects printmaker. sent2: something that traffics antiprotozoal and is not admissible does signify. sent3: if something that does redirect printmaker signifies it traffics antiprotozoal. sent4: the tear traffics antiprotozoal and is inadmissible if the Paiute does traffics antiprotozoal. sent5: the Paiute does traffic antiprotozoal if it redirects printmaker. sent6: if something traffics antiprotozoal and it is admissible then it signifies. sent7: The printmaker redirects Paiute.
sent5 & sent1 -> int1: the Paiute does traffic antiprotozoal.; int1 & sent4 -> int2: the tear traffics antiprotozoal but it is not admissible.; sent2 -> int3: the tear signifies if it traffics antiprotozoal and it is not admissible.; int2 & int3 -> hypothesis;
$hypothesis$ = the tear signifies. ; $context$ = sent1: the Paiute redirects printmaker. sent2: something that traffics antiprotozoal and is not admissible does signify. sent3: if something that does redirect printmaker signifies it traffics antiprotozoal. sent4: the tear traffics antiprotozoal and is inadmissible if the Paiute does traffics antiprotozoal. sent5: the Paiute does traffic antiprotozoal if it redirects printmaker. sent6: if something traffics antiprotozoal and it is admissible then it signifies. sent7: The printmaker redirects Paiute. ; $proof$ = 
sent5 & sent1 -> int1: the Paiute does traffic antiprotozoal.; int1 & sent4 -> int2: the tear traffics antiprotozoal but it is not admissible.; sent2 -> int3: the tear signifies if it traffics antiprotozoal and it is not admissible.; int2 & int3 -> hypothesis; __PROVED__