Erin is not big. Erin is furry. Erin is not kind. Erin is not nice. Erin is quiet. Erin is red. Erin is young. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is young. Big people are nice. If someone is red then they are quiet. If someone is red then they are quiet.
Gary is not red.
@0: Erin is furry.[(triple2)] Erin is not big.[(triple1)] Erin is not kind.[(triple3)] Erin is not nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple6) -> rule2) OR ((triple6) -> rule3))] Erin is red.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11 OR ((triple8) -> rule1))] Gary is quiet.[(triple12 OR ((triple13) -> rule2) OR ((triple13) -> rule3))] Gary is red.[(triple13)] Gary is young.[(triple14)]