Bob is not furry. Bob is kind. Bob is quiet. Bob is not red. Erin is nice. Erin is quiet. Erin is red. Erin is white. Harry is not kind. Harry is white. If someone is white and not kind then they are nice. All furry, white people are quiet. If someone is nice and white then they are furry. Red, cold people are furry. If Erin is kind then Erin is cold. If Harry is red then Harry is not furry.
Bob is not white.
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is not red.[(triple4)] Bob is quiet.[(triple3)] Erin is nice.[(triple5)] Erin is quiet.[(triple6 OR ((((triple5 triple8) -> rule3) triple8) -> rule2))] Erin is red.[(triple7)] Erin is white.[(triple8)] Harry is not kind.[(triple9)] Harry is white.[(triple10)] @1: Erin is furry.[(((triple5 triple8) -> rule3))] Harry is nice.[(((triple10 triple9) -> rule1))] @2: Harry is furry.[(((((triple10 triple9) -> rule1) triple10) -> rule3))] @3: Harry is quiet.[(((((((triple10 triple9) -> rule1) triple10) -> rule3) triple10) -> rule2))]