Dave is not quiet. Dave is not smart. Gary is kind. Gary is young. Harry is cold. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is young. If something is kind then it is young. If something is young and smart then it is quiet. All red, round things are kind.
Gary is young.
@0: Dave is not quiet.[(triple1)] Dave is not smart.[(triple2)] Gary is kind.[(triple3)] Gary is young.[(triple4 OR ((triple3) -> rule1))] Harry is cold.[(triple5)] Harry is kind.[(triple6)] Harry is quiet.[(triple7 OR ((triple10 triple9) -> rule2) OR ((((triple6) -> rule1) triple9) -> rule2))] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple6) -> rule1))]