Anne is blue. Anne is kind. Anne is rough. Anne is not white. Anne is young. Bob is blue. Bob is furry. Bob is not rough. Bob is white. Bob is young. Kind things are cold. If Bob is young and Bob is rough then Bob is blue. All cold things are not furry.
Bob is not cold.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is not white.[(triple4)] Anne is rough.[(triple3)] Anne is young.[(triple5)] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is not rough.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] @1: Anne is cold.[(((triple2) -> rule1))] @2: Anne is not furry.[(((((triple2) -> rule1)) -> rule3))]