Bob is quiet. Bob is smart. Charlie is kind. Charlie is smart. Charlie is white. Erin is blue. Harry is green. White, green things are smart. Smart, quiet things are white. All quiet, kind things are white. If Erin is kind and Erin is blue then Erin is white. All kind things are quiet. White things are quiet. Green things are kind. All white, smart things are furry.
Erin is not furry.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple4 ((triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule5) triple3) -> rule3))] Erin is blue.[(triple6)] Harry is green.[(triple7)] @1: Bob is white.[(((triple2 triple1) -> rule2))] Charlie is furry.[(((triple5 triple4) -> rule8) OR ((((triple4 ((triple3) -> rule5)) -> rule2) triple4) -> rule8) OR ((((((triple3) -> rule5) triple3) -> rule3) triple4) -> rule8))] Charlie is quiet.[(((triple3) -> rule5) OR ((triple5) -> rule6))] Harry is kind.[(((triple7) -> rule7))] @2: Bob is furry.[(((((triple2 triple1) -> rule2) triple2) -> rule8))] Harry is quiet.[(((((triple7) -> rule7)) -> rule5))] @3: Harry is white.[(((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule3))] @4: Harry is smart.[(((((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule3) triple7) -> rule1))] @5: Harry is furry.[(((((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule3) ((((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule3) triple7) -> rule1)) -> rule8))]