Anne is furry. Anne is young. Bob is furry. Bob is kind. Bob is quiet. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is young. Kind things are smart. All smart things are young. All young things are nice.
Bob is smart.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9 OR ((triple10) -> rule3) OR ((((((triple8) -> rule1)) -> rule2)) -> rule3))] Erin is young.[(triple10 OR ((((triple8) -> rule1)) -> rule2))] @1: Anne is nice.[(((triple2) -> rule3))] Bob is smart.[(((triple4) -> rule1))] Erin is smart.[(((triple8) -> rule1))] @2: Bob is young.[(((((triple4) -> rule1)) -> rule2))] @3: Bob is nice.[(((((((triple4) -> rule1)) -> rule2)) -> rule3))]