Anne is blue. Anne is green. Anne is kind. Anne is white. Anne is young. Bob is furry. Bob is kind. Bob is white. Dave is blue. Dave is white. If someone is white and furry then they are blue. If someone is white and blue then they are green. If someone is green then they are young.
Bob is green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule2))] Anne is kind.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple2) -> rule3) OR ((((triple4 triple1) -> rule2)) -> rule3))] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is white.[(triple8)] Dave is blue.[(triple9)] Dave is white.[(triple10)] @1: Bob is blue.[(((triple8 triple6) -> rule1))] Dave is green.[(((triple10 triple9) -> rule2))] @2: Bob is green.[(((triple8 ((triple8 triple6) -> rule1)) -> rule2))] Dave is young.[(((((triple10 triple9) -> rule2)) -> rule3))] @3: Bob is young.[(((((triple8 ((triple8 triple6) -> rule1)) -> rule2)) -> rule3))]