Charlie is quiet. Gary is red. Gary is round. Harry is green. Harry is kind. Harry is nice. Harry is quiet. If Harry is young then Harry is quiet. All young people are quiet. If someone is round and quiet then they are young. All green people are kind. If Harry is round and Harry is nice then Harry is quiet. If Gary is young then Gary is nice.
Harry is kind.
@0: Charlie is quiet.[(triple1)] Gary is red.[(triple2)] Gary is round.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple4) -> rule4))] Harry is nice.[(triple6)] Harry is quiet.[(triple7)]