Anne is nice. Anne is smart. Charlie is cold. Charlie is round. Charlie is young. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is smart. If something is cold then it is young. If something is smart then it is cold.
Charlie is quiet.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5 OR ((triple3) -> rule1))] Harry is furry.[(triple6)] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Anne is cold.[(((triple2) -> rule2))] Harry is cold.[(((triple10) -> rule2))] @2: Anne is young.[(((((triple2) -> rule2)) -> rule1))] Harry is young.[(((((triple10) -> rule2)) -> rule1))]