Charlie is cold. Charlie is kind. Charlie is young. Dave is cold. Dave is green. Dave is not kind. Harry is young. If someone is cold and not red then they are kind. If someone is young then they are kind. If Charlie is young and Charlie is red then Charlie is green. If someone is red then they are green. Kind people are young. If someone is green then they are cold.
Dave is round.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((triple3) -> rule2))] Charlie is young.[(triple3 OR ((triple2) -> rule5))] Dave is cold.[(triple4 OR ((triple5) -> rule6))] Dave is green.[(triple5)] Dave is not kind.[(triple6)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple7) -> rule2))]