Anne is red. Charlie is nice. Charlie is round. Charlie is smart. Dave is red. Dave is smart. Erin is red. Erin is rough. Erin is round. Erin is smart. If someone is round and nice then they are young. If Dave is red then Dave is smart. All smart people are green.
Charlie is not smart.
@0: Anne is red.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule2))] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] @1: Charlie is green.[(((triple4) -> rule3))] Charlie is young.[(((triple3 triple2) -> rule1))] Dave is green.[(((triple6) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Erin is green.[(((triple10) -> rule3))]