Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is white. Erin is young. Gary is cold. Gary is nice. Gary is rough. Gary is white. Gary is young. Harry is cold. Harry is furry. Harry is nice. Harry is white. If Harry is nice then Harry is young. All white people are young. If someone is young and cold then they are white. White people are young. All young people are white. If someone is kind and white then they are young.
Harry is not rough.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple7) -> rule5) OR ((triple7 triple1) -> rule3))] Erin is young.[(triple7 OR ((triple6) -> rule2) OR ((triple6) -> rule4) OR ((triple3 triple6) -> rule6))] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10)] Gary is white.[(triple11 OR ((triple12) -> rule5) OR ((triple12 triple8) -> rule3))] Gary is young.[(triple12 OR ((triple11) -> rule2) OR ((triple11) -> rule4))] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16 OR ((((triple15) -> rule1)) -> rule5) OR ((((triple15) -> rule1) triple13) -> rule3))] @1: Harry is young.[(((triple15) -> rule1) OR ((triple16) -> rule2) OR ((triple16) -> rule4))]