Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is young. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is young. If something is young then it is round.
Harry is young.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is quiet.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule1))] Gary is young.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13 OR ((triple14) -> rule1))] Harry is young.[(triple14)]