Charlie is rough. Charlie is young. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is young. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is young. Furry things are green. Young, kind things are quiet. If something is kind then it is rough.
Charlie is kind.
@0: Charlie is rough.[(triple1)] Charlie is young.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5 OR ((triple4) -> rule1))] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Gary is young.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11 OR ((triple10) -> rule1))] Harry is kind.[(triple12)] Harry is quiet.[(triple13 OR ((triple15 triple12) -> rule2))] Harry is rough.[(triple14 OR ((triple12) -> rule3))] Harry is young.[(triple15)]