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