Dave is blue. Dave is smart. Dave is white. Dave is young. Erin is round. Erin is smart. Erin is young. If something is white then it is green. If something is round and young then it is green.
Erin is round.
@0: Dave is blue.[(triple1)] Dave is smart.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] @1: Dave is green.[(((triple3) -> rule1))] Erin is green.[(((triple5 triple7) -> rule2))]