Anne is blue. Anne is green. Anne is kind. Charlie is green. Charlie is round. Charlie is smart. Charlie is young. Erin is green. Erin is red. Harry is blue. Harry is green. Harry is kind. Harry is red. Harry is round. Harry is smart. Harry is young. If someone is kind then they are red. All green people are round.
Erin is not young.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Charlie is green.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule2))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is green.[(triple8)] Erin is red.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13 OR ((triple12) -> rule1))] Harry is round.[(triple14 OR ((triple11) -> rule2))] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Anne is red.[(((triple3) -> rule1))] Anne is round.[(((triple2) -> rule2))] Erin is round.[(((triple8) -> rule2))]