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