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 not 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)]