Anne is not big. Anne is not green. Anne is kind. Anne is not nice. Harry is big. Harry is not furry. Harry is green. All big, nice things are kind. Big things are kind. Quiet things are nice. If something is red and furry then it is quiet. If something is green and red then it is quiet. If something is red and not green then it is furry. All green things are red. All quiet things are red.
Anne is quiet.
@0: Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is not green.[(triple2)] Anne is not nice.[(triple4)] Harry is big.[(triple5)] Harry is green.[(triple7)] Harry is not furry.[(triple6)] @1: Harry is kind.[(((triple5) -> rule2) OR ((triple5 ((((triple7 ((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule1))] Harry is red.[(((triple7) -> rule7))] @2: Harry is quiet.[(((triple7 ((triple7) -> rule7)) -> rule5))] @3: Harry is nice.[(((((triple7 ((triple7) -> rule7)) -> rule5)) -> rule3))]