Anne is blue. Anne is green. Anne is not kind. Anne is red. Anne is rough. Bob is not blue. Bob is green. Bob is red. Charlie is green. Charlie is not white. If Bob is blue and Bob is furry then Bob is green. If someone is white then they are furry. Green, rough people are white.
Bob is kind.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Bob is green.[(triple7)] Bob is not blue.[(triple6)] Bob is red.[(triple8)] Charlie is green.[(triple9)] Charlie is not white.[(triple10)] @1: Anne is white.[(((triple2 triple5) -> rule3))] @2: Anne is furry.[(((((triple2 triple5) -> rule3)) -> rule2))]