Anne is furry. Anne is nice. Anne is smart. Bob is red. Erin is furry. Erin is green. Erin is young. If Bob is red then Bob is smart. All smart people are nice. If Bob is nice and Bob is smart then Bob is green.
Bob is green.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule2))] Anne is smart.[(triple3)] Bob is red.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)] @1: Bob is smart.[(((triple4) -> rule1))] @2: Bob is nice.[(((((triple4) -> rule1)) -> rule2))] @3: Bob is green.[(((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule3))]