Anne is kind. Anne is quiet. Anne is white. All white things are round. If something is round then it is furry. If Anne is big and Anne is round then Anne is kind. Green things are big. Furry things are green. All quiet things are big. Round, furry things are quiet. If Anne is kind then Anne is big.
Anne is big.
@0: Anne is kind.[(triple1 OR ((((triple2) -> rule6) ((triple3) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule1)) -> rule3) OR ((((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7)) -> rule6) ((triple3) -> rule1)) -> rule3))] Anne is quiet.[(triple2 OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7))] Anne is white.[(triple3)] @1: Anne is big.[(((triple1) -> rule8) OR ((triple2) -> rule6) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7)) -> rule6))] Anne is round.[(((triple3) -> rule1))] @2: Anne is furry.[(((((triple3) -> rule1)) -> rule2))] @3: Anne is green.[(((((((triple3) -> rule1)) -> rule2)) -> rule5))]