Anne is furry. Anne is rough. Anne is round. Anne is white. Gary is furry. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Gary is not young. Harry is furry. Harry is rough. Harry is smart. Harry is white. Harry is not young. Furry, smart things are white. If something is smart and not rough then it is quiet.
Anne is young.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Gary is furry.[(triple5)] Gary is not young.[(triple10)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9 OR ((triple5 triple8) -> rule1))] Harry is furry.[(triple11)] Harry is not young.[(triple15)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((triple11 triple13) -> rule1))]