Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is smart. Harry is white. If Bob is smart and Bob is blue then Bob is white.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple6 triple1) -> rule1))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]