Anne is blue. Anne is rough. Anne is white. Anne is young. Bob is furry. Bob is white. Bob is young. All blue, white things are red. If something is young and furry then it is blue. Red, young things are furry. All furry things are white. Green, white things are red. All rough, red things are blue. Green things are red. All red, young things are green.
Bob is red.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is furry.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule4))] Bob is young.[(triple7)] @1: Anne is red.[(((triple1 triple3) -> rule1))] Bob is blue.[(((triple7 triple5) -> rule2))] @2: Anne is furry.[(((((triple1 triple3) -> rule1) triple4) -> rule3))] Anne is green.[(((((triple1 triple3) -> rule1) triple4) -> rule8))] Bob is red.[(((((triple7 triple5) -> rule2) triple6) -> rule1) OR ((((triple7 triple5) -> rule2) ((triple5) -> rule4)) -> rule1))] @3: Bob is green.[(((((((triple7 triple5) -> rule2) triple6) -> rule1) triple7) -> rule8) OR ((((((triple7 triple5) -> rule2) ((triple5) -> rule4)) -> rule1) triple7) -> rule8))]