Erin is furry. Erin is rough. Gary is quiet. Gary is rough. Harry is furry. Harry is quiet. Harry is white. White people are furry.
Gary is not furry.
@0: Erin is furry.[(triple1)] Erin is rough.[(triple2)] Gary is quiet.[(triple3)] Gary is rough.[(triple4)] Harry is furry.[(triple5 OR ((triple7) -> rule1))] Harry is quiet.[(triple6)] Harry is white.[(triple7)]