Bob is nice. Bob is red. Bob is smart. Charlie is green. Charlie is nice. Harry is cold. Harry is nice. Harry is red. Harry is smart. Harry is white. Cold things are red.
Charlie is not red.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8 OR ((triple6) -> rule1))] Harry is smart.[(triple9)] Harry is white.[(triple10)]