Anne is young. Charlie is furry. Charlie is kind. Charlie is white. Charlie is young. Erin is white. Harry is smart. If something is young and kind then it is not quiet. If Harry is young and Harry is quiet then Harry is smart. All white things are furry. Smart things are young. Kind things are smart. Furry, white things are kind.
Erin is quiet.
@0: Anne is young.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule3))] Charlie is kind.[(triple3 OR ((triple2 triple4) -> rule6) OR ((((triple4) -> rule3) triple4) -> rule6))] Charlie is white.[(triple4)] Charlie is young.[(triple5 OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple2 triple4) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple4) -> rule3) triple4) -> rule6)) -> rule5)) -> rule4))] Erin is white.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is not quiet.[(((triple5 triple3) -> rule1) OR ((triple5 ((triple2 triple4) -> rule6)) -> rule1) OR ((triple5 ((((triple4) -> rule3) triple4) -> rule6)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) ((triple2 triple4) -> rule6)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) ((((triple4) -> rule3) triple4) -> rule6)) -> rule1) OR ((((((((triple2 triple4) -> rule6)) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((((triple2 triple4) -> rule6)) -> rule5)) -> rule4) ((triple2 triple4) -> rule6)) -> rule1) OR ((((((((triple2 triple4) -> rule6)) -> rule5)) -> rule4) ((((triple4) -> rule3) triple4) -> rule6)) -> rule1) OR ((((((((((triple4) -> rule3) triple4) -> rule6)) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((((((triple4) -> rule3) triple4) -> rule6)) -> rule5)) -> rule4) ((triple2 triple4) -> rule6)) -> rule1) OR ((((((((((triple4) -> rule3) triple4) -> rule6)) -> rule5)) -> rule4) ((((triple4) -> rule3) triple4) -> rule6)) -> rule1))] Charlie is smart.[(((triple3) -> rule5) OR ((((triple2 triple4) -> rule6)) -> rule5) OR ((((((triple4) -> rule3) triple4) -> rule6)) -> rule5))] Erin is furry.[(((triple6) -> rule3))] Harry is young.[(((triple7) -> rule4))] @2: Erin is kind.[(((((triple6) -> rule3) triple6) -> rule6))] @3: Erin is smart.[(((((((triple6) -> rule3) triple6) -> rule6)) -> rule5))] @4: Erin is young.[(((((((((triple6) -> rule3) triple6) -> rule6)) -> rule5)) -> rule4))] @5: Erin is not quiet.[(((((((((((triple6) -> rule3) triple6) -> rule6)) -> rule5)) -> rule4) ((((triple6) -> rule3) triple6) -> rule6)) -> rule1))]