Charlie is not round. Charlie is not smart. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is green. Erin is red. Erin is smart. Erin is not young. If Erin is green then Erin is smart. If Charlie is red and Charlie is not young then Charlie is smart.
Dave is young.
@0: Charlie is not round.[(triple1)] Charlie is not smart.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is green.[(triple7)] Erin is not young.[(triple10)] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple7) -> rule1))]