Anne is quiet. Anne is young. Bob is furry. Erin is blue. Erin is furry. Erin is kind. Erin is young. If something is young and big then it is blue. Kind things are nice. All young things are nice. If something is blue then it is furry. Big things are kind. Young, kind things are nice. If Anne is nice and Anne is kind then Anne is big. All nice, quiet things are big.
Bob is not young.
@0: Anne is quiet.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5 OR ((triple4) -> rule4))] Erin is kind.[(triple6)] Erin is young.[(triple7)] @1: Anne is nice.[(((triple2) -> rule3))] Erin is nice.[(((triple6) -> rule2) OR ((triple7) -> rule3) OR ((triple7 triple6) -> rule6))] @2: Anne is big.[(((((triple2) -> rule3) triple1) -> rule8))] @3: Anne is blue.[(((triple2 ((((triple2) -> rule3) triple1) -> rule8)) -> rule1))] Anne is kind.[(((((((triple2) -> rule3) triple1) -> rule8)) -> rule5))] @4: Anne is furry.[(((((triple2 ((((triple2) -> rule3) triple1) -> rule8)) -> rule1)) -> rule4))]