Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is smart. Erin is white. Erin is young. All smart things are young. If Erin is green then Erin is cold.
Dave is smart.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple5) -> rule1))] Erin is cold.[(triple8 OR ((triple9) -> rule2))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14 OR ((triple12) -> rule1))]