the iris is not a kind of a ping.
sent1: the fact that the foundry studs flashiness if that the iris is epiphytic but it is not an industrialist is not incorrect is correct. sent2: if something is an industrialist then it does ping. sent3: the iris is not epiphytic. sent4: the iris is Aegean. sent5: if something does stud flashiness it is not a ping. sent6: the foundry is an industrialist. sent7: the iris does stud flashiness if the foundry repines and is not epiphytic. sent8: if the foundry is a kind of an industrialist then it repines.
sent8 & sent6 -> int1: the foundry does repine.; sent5 -> int2: if the iris studs flashiness it is not a ping.;
the iris is a ping.
sent2 -> int3: the iris pings if it is an industrialist.;
$hypothesis$ = the iris is not a kind of a ping. ; $context$ = sent1: the fact that the foundry studs flashiness if that the iris is epiphytic but it is not an industrialist is not incorrect is correct. sent2: if something is an industrialist then it does ping. sent3: the iris is not epiphytic. sent4: the iris is Aegean. sent5: if something does stud flashiness it is not a ping. sent6: the foundry is an industrialist. sent7: the iris does stud flashiness if the foundry repines and is not epiphytic. sent8: if the foundry is a kind of an industrialist then it repines. ; $proof$ = 
sent8 & sent6 -> int1: the foundry does repine.; sent5 -> int2: if the iris studs flashiness it is not a ping.; __UNKNOWN__