Anne is not red. Charlie is kind. Dave is kind. Harry is big. If Charlie is furry and Charlie is big then Charlie is red. All furry, quiet people are blue. Big people are quiet. Quiet people are red. Big, kind people are not furry. If someone is red then they are furry. If someone is quiet then they are furry. If someone is blue and not rough then they are big.
Harry is red.
@0: Anne is not red.[(triple1)] Charlie is kind.[(triple2)] Dave is kind.[(triple3)] Harry is big.[(triple4)] @1: Harry is quiet.[(((triple4) -> rule3))] @2: Harry is furry.[(((((triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule3)) -> rule4)) -> rule6))] Harry is red.[(((((triple4) -> rule3)) -> rule4))] @3: Harry is blue.[(((((((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule2))]