Anne is green. Anne is nice. Anne is young. Bob is red. Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is young. Erin is cold. Erin is red. Erin is young. All young things are green.
Dave is cold.
@0: Anne is green.[(triple1 OR ((triple3) -> rule1))] Anne is nice.[(triple2)] Anne is young.[(triple3)] Bob is red.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7 OR ((triple9) -> rule1))] Dave is red.[(triple8)] Dave is young.[(triple9)] Erin is cold.[(triple10)] Erin is red.[(triple11)] Erin is young.[(triple12)] @1: Erin is green.[(((triple12) -> rule1))]