Anne is not blue. Anne is cold. Anne is not red. Anne is not rough. Anne is round. Anne is smart. Anne is white. Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. If Bob is blue then Bob is red.
Bob is smart.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is not red.[(triple3)] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is red.[(triple10 OR ((triple8) -> rule1))] Bob is rough.[(triple11)] Bob is round.[(triple12)] Bob is smart.[(triple13)] Bob is white.[(triple14)]