Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is white. Gary is cold. Gary is furry. Gary is nice. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is white. All kind, nice people are furry. Blue people are white.
Erin is not furry.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple4 triple5) -> rule1))] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule2))] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16 OR ((triple11) -> rule2))]