Erin is not big. Erin is furry. Erin is red. Erin is rough. Fiona is white. Gary is big. Gary is blue. Gary is rough. Gary is young. Harry is rough. Harry is white. Harry is not young. If Harry is not rough then Harry is not furry. If someone is white and furry then they are young. All young, red people are furry. If someone is white and not rough then they are not red. All red, rough people are not white. If Erin is not rough and Erin is not white then Erin is big. If someone is young then they are blue. If someone is big then they are blue.
Erin is not furry.
@0: Erin is furry.[(triple2)] Erin is not big.[(triple1)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7 OR ((triple6) -> rule8) OR ((triple9) -> rule7))] Gary is rough.[(triple8)] Gary is young.[(triple9)] Harry is not young.[(triple12)] Harry is rough.[(triple10)] Harry is white.[(triple11)] @1: Erin is not white.[(((triple3 triple4) -> rule5))]