Anne is red. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is round. Harry is furry. Harry is kind. All kind, furry things are round. Red things are furry. If Harry is kind then Harry is nice. Nice, quiet things are furry. All furry things are kind. If Anne is furry then Anne is cold.
Charlie is nice.
@0: Anne is red.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((((((triple4) -> rule2)) -> rule5) ((triple4) -> rule2)) -> rule1))] Harry is furry.[(triple6)] Harry is kind.[(triple7 OR ((triple6) -> rule5))] @1: Anne is furry.[(((triple1) -> rule2))] Charlie is furry.[(((triple4) -> rule2))] Harry is nice.[(((triple7) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Harry is round.[(((triple7 triple6) -> rule1) OR ((((triple6) -> rule5) triple6) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule2)) -> rule6))] Anne is kind.[(((((triple1) -> rule2)) -> rule5))] Charlie is kind.[(((((triple4) -> rule2)) -> rule5))] @3: Anne is round.[(((((((triple1) -> rule2)) -> rule5) ((triple1) -> rule2)) -> rule1))]