Anne is green. Anne is young. Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is young. Gary is green. Green things are young. If Dave is green then Dave is cold.
Anne is red.
@0: Anne is green.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule1))] Dave is big.[(triple3)] Dave is cold.[(triple4 OR ((triple5) -> rule2))] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9 OR ((triple5) -> rule1))] Gary is green.[(triple10)] @1: Gary is young.[(((triple10) -> rule1))]