Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is round. Anne is smart. Charlie is big. Charlie is blue. Charlie is smart. Harry is blue. Harry is furry. Harry is green. If something is blue then it is round. If something is big and furry then it is green. All green things are round.
Anne is not round.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is round.[(triple5 OR ((triple1) -> rule1) OR ((triple3) -> rule3))] Anne is smart.[(triple6)] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is smart.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] @1: Charlie is round.[(((triple8) -> rule1))] Harry is round.[(((triple10) -> rule1) OR ((triple12) -> rule3))]