Anne is blue. Anne is smart. Dave is white. Fiona is big. Fiona is kind. Harry is quiet. Harry is white. If Harry is furry then Harry is big. All blue, quiet people are white. All blue, smart people are white. If someone is smart then they are white. All furry people are quiet. All white, quiet people are kind. Smart people are furry. If Anne is furry then Anne is smart.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Dave is white.[(triple3)] Fiona is big.[(triple4)] Fiona is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Anne is furry.[(((triple2) -> rule7))] Anne is white.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule3) OR ((triple1 ((((triple2) -> rule7)) -> rule5)) -> rule2))] Harry is kind.[(((triple7 triple6) -> rule6))] @2: Anne is quiet.[(((((triple2) -> rule7)) -> rule5))] @3: Anne is kind.[(((((triple2) -> rule4) ((((triple2) -> rule7)) -> rule5)) -> rule6) OR ((((triple1 triple2) -> rule3) ((((triple2) -> rule7)) -> rule5)) -> rule6) OR ((((triple1 ((((triple2) -> rule7)) -> rule5)) -> rule2) ((((triple2) -> rule7)) -> rule5)) -> rule6))]