Anne is round. Anne is smart. Anne is young. Dave is blue. Erin is blue. Erin is round. Erin is smart. Blue people are young. If someone is red and white then they are smart.
Dave is blue.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Dave is blue.[(triple4)] Erin is blue.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] @1: Dave is young.[(((triple4) -> rule1))] Erin is young.[(((triple5) -> rule1))]