Erin is big. Erin is cold. Erin is green. Erin is red. Erin is rough. Erin is white. Harry is big. Harry is cold. Harry is rough. Harry is white. If someone is cold and green then they are furry. If someone is green then they are white. All green, white people are red.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4 OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple3) -> rule2)) -> rule3))] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple3) -> rule2))] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Erin is furry.[(((triple2 triple3) -> rule1))]