Anne is furry. Anne is quiet. Bob is furry. Bob is green. Bob is kind. Bob is young. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is white. Dave is young. Erin is blue. Erin is green. Erin is white. Erin is young. All furry things are blue. Furry, blue things are green. If Bob is young then Bob is kind.
Anne is green.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3 ((triple3) -> rule1)) -> rule2))] Bob is kind.[(triple5 OR ((triple6) -> rule3))] Bob is young.[(triple6)] Dave is blue.[(triple7 OR ((triple8) -> rule1))] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] Erin is blue.[(triple13)] Erin is green.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Anne is blue.[(((triple1) -> rule1))] Bob is blue.[(((triple3) -> rule1))] Dave is green.[(((triple8 triple7) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule2))]