the automaton is a kind of nonruminant thing that is a polymerization.
sent1: the automaton is a kind of a polymerization if the housebreaker is a pinioned. sent2: the Angolan is a kind of a biquadratic if the housebreaker is not biquadratic but it is not a kind of a pinioned. sent3: the housebreaker is a kind of a pinioned and it is a biquadratic. sent4: if that something is a cobble and reddens chaetodon is not correct then it is not nonruminant. sent5: the automaton is a kind of a cobble that does redden chaetodon. sent6: that the housebreaker is a polymerization and it is nonruminant does not hold if there are non-nonruminant things. sent7: something is biquadratic and not a pinioned if it is not a kind of a polymerization.
sent3 -> int1: the housebreaker is a pinioned.; int1 & sent1 -> int2: the automaton is a polymerization.; sent5 -> int3: the automaton does cobble.;
the Angolan is a biquadratic.
sent7 -> int4: if the housebreaker is not a polymerization it is a biquadratic and is not a kind of a pinioned.; sent4 -> int5: if that the automaton is a cobble and it does redden chaetodon is incorrect it is not nonruminant.;
$hypothesis$ = the automaton is a kind of nonruminant thing that is a polymerization. ; $context$ = sent1: the automaton is a kind of a polymerization if the housebreaker is a pinioned. sent2: the Angolan is a kind of a biquadratic if the housebreaker is not biquadratic but it is not a kind of a pinioned. sent3: the housebreaker is a kind of a pinioned and it is a biquadratic. sent4: if that something is a cobble and reddens chaetodon is not correct then it is not nonruminant. sent5: the automaton is a kind of a cobble that does redden chaetodon. sent6: that the housebreaker is a polymerization and it is nonruminant does not hold if there are non-nonruminant things. sent7: something is biquadratic and not a pinioned if it is not a kind of a polymerization. ; $proof$ = 
sent3 -> int1: the housebreaker is a pinioned.; int1 & sent1 -> int2: the automaton is a polymerization.; sent5 -> int3: the automaton does cobble.; __UNKNOWN__