Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is smart. Anne is white. Anne is young. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is smart. Bob is white. Bob is young. If Bob is white and Bob is blue then Bob is nice. All nice, smart things are white. If something is smart and kind then it is blue.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple5 triple3) -> rule3))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple4 triple5) -> rule2))] Anne is young.[(triple7)] Bob is blue.[(triple8 OR ((triple12 triple10) -> rule3))] Bob is furry.[(triple9)] Bob is kind.[(triple10)] Bob is nice.[(triple11 OR ((triple13 triple8) -> rule1) OR ((triple13 ((triple12 triple10) -> rule3)) -> rule1))] Bob is smart.[(triple12)] Bob is white.[(triple13 OR ((triple11 triple12) -> rule2))] Bob is young.[(triple14)]