Anne is rough. Charlie is green. Charlie is quiet. Charlie is young. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is white. Gary is young. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is white. Harry is young. All quiet, white people are furry.
Harry is furry.
@0: Anne is rough.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Gary is furry.[(triple5 OR ((triple7 triple9) -> rule1))] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is furry.[(triple11 OR ((triple13 triple15) -> rule1))] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]