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