Bob is nice. Bob is red. Dave is cold. Dave is nice. Dave is red. Dave is smart. Harry is blue. If something is cold then it is nice.
Bob is not red.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Dave is cold.[(triple3)] Dave is nice.[(triple4 OR ((triple3) -> rule1))] Dave is red.[(triple5)] Dave is smart.[(triple6)] Harry is blue.[(triple7)]