Dave is green. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is green. Erin is nice. Erin is red. Erin is white. If something is red and white then it is smart.
Dave is smart.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple2 triple6) -> rule1))] Dave is white.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is white.[(triple10)] @1: Erin is smart.[(((triple9 triple10) -> rule1))]