Anne is furry. Anne is kind. Anne is rough. Anne is not young. Erin is blue. Erin is furry. Erin is kind. Erin is not quiet. Harry is blue. Harry is rough. If something is round and young then it is quiet. All rough things are quiet. If something is kind then it is furry. If Harry is blue then Harry is kind. If Harry is furry then Harry is round. If something is quiet then it is kind. If Anne is not rough then Anne is kind. If Anne is furry and Anne is not young then Anne is round.
Anne is quiet.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule3) OR ((((((triple3) -> rule2)) -> rule6)) -> rule3))] Anne is kind.[(triple2 OR ((((triple3) -> rule2)) -> rule6))] Anne is not young.[(triple4)] Anne is rough.[(triple3)] Erin is blue.[(triple5)] Erin is furry.[(triple6 OR ((triple7) -> rule3))] Erin is kind.[(triple7)] Erin is not quiet.[(triple8)] Harry is blue.[(triple9)] Harry is rough.[(triple10)] @1: Anne is quiet.[(((triple3) -> rule2))] Anne is round.[(((triple1 triple4) -> rule8) OR ((((triple2) -> rule3) triple4) -> rule8) OR ((((((((triple3) -> rule2)) -> rule6)) -> rule3) triple4) -> rule8))] Harry is kind.[(((triple9) -> rule4) OR ((((triple10) -> rule2)) -> rule6))] Harry is quiet.[(((triple10) -> rule2))] @2: Harry is furry.[(((((triple9) -> rule4)) -> rule3) OR ((((((triple10) -> rule2)) -> rule6)) -> rule3))] @3: Harry is round.[(((((((triple9) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule2)) -> rule6)) -> rule3)) -> rule5))]