Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is white. Anne is young. Bob is blue. Bob is cold. Bob is not green. Bob is red. Bob is rough. Bob is not white. Bob is not young. If Anne is cold and Anne is not white then Anne is not blue. All white things are rough. If something is white and not blue then it is red.
Bob is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple6) -> rule2))] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is not green.[(triple10)] Bob is not white.[(triple13)] Bob is not young.[(triple14)] Bob is red.[(triple11)] Bob is rough.[(triple12)]