Anne is green. Anne is smart. Charlie is blue. Charlie is red. Charlie is round. Charlie is young. Harry is blue. Harry is green. Harry is kind. Harry is round. If something is green then it is blue. If something is green and smart then it is kind.
Charlie is smart.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Harry is blue.[(triple7 OR ((triple8) -> rule1))] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] @1: Anne is blue.[(((triple1) -> rule1))] Anne is kind.[(((triple1 triple2) -> rule2))]