Bob is furry. Bob is rough. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is young. All rough, nice things are young. All blue things are green. Green things are nice. If Erin is blue and Erin is furry then Erin is rough. Green, smart things are furry. All furry things are blue.
Bob is nice.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Erin is blue.[(triple3 OR ((triple4) -> rule6))] Erin is furry.[(triple4)] Erin is green.[(triple5 OR ((triple3) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Erin is nice.[(triple6 OR ((triple5) -> rule3) OR ((((triple3) -> rule2)) -> rule3) OR ((((((triple4) -> rule6)) -> rule2)) -> rule3))] Erin is young.[(triple7 OR ((((triple3 triple4) -> rule4) triple6) -> rule1) OR ((((triple3 triple4) -> rule4) ((triple5) -> rule3)) -> rule1) OR ((((((triple4) -> rule6) triple4) -> rule4) triple6) -> rule1) OR ((((triple3 triple4) -> rule4) ((((triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple4) -> rule6) triple4) -> rule4) ((triple5) -> rule3)) -> rule1) OR ((((((triple4) -> rule6) triple4) -> rule4) ((((triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple3 triple4) -> rule4) ((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple4) -> rule6) triple4) -> rule4) ((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1))] @1: Bob is blue.[(((triple1) -> rule6))] Erin is rough.[(((triple3 triple4) -> rule4) OR ((((triple4) -> rule6) triple4) -> rule4))] @2: Bob is green.[(((((triple1) -> rule6)) -> rule2))] @3: Bob is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule3))] @4: Bob is young.[(((triple2 ((((((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1))]