Anne is green. Anne is young. Erin is green. Big people are round. All green people are kind. Green people are round. Young, kind people are blue. All round people are blue. If Anne is blue then Anne is big.
Anne is not young.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Erin is green.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] Anne is round.[(((triple1) -> rule3) OR ((((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule1))] Erin is kind.[(((triple3) -> rule2))] Erin is round.[(((triple3) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule4))] Erin is blue.[(((((triple3) -> rule3)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6))]