Bob is not blue. Bob is smart. Bob is not white. Charlie is smart. Charlie is not white. Harry is not blue. Harry is cold. Harry is kind. Harry is quiet. Harry is not smart. If someone is smart then they are not white.
Charlie is kind.
@0: Bob is not blue.[(triple1)] Bob is not white.[(triple3 OR ((triple2) -> rule1))] Bob is smart.[(triple2)] Charlie is not white.[(triple5 OR ((triple4) -> rule1))] Charlie is smart.[(triple4)] Harry is cold.[(triple7)] Harry is kind.[(triple8)] Harry is not blue.[(triple6)] Harry is not smart.[(triple10)] Harry is quiet.[(triple9)]