Anne is cold. Dave is cold. Dave is red. Dave is smart. Erin is big. Erin is red. Harry is white. All smart, red people are cold.
Dave is smart.
@0: Anne is cold.[(triple1)] Dave is cold.[(triple2 OR ((triple4 triple3) -> rule1))] Dave is red.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Harry is white.[(triple7)]