Anne is big. Anne is blue. Anne is quiet. Anne is smart. Charlie is blue. Charlie is green. Dave is green. If someone is big then they are green. All rough, green people are big. If someone is smart then they are blue. All blue, quiet people are big. Green people are smart. If someone is smart and green then they are quiet.
Dave is young.
@0: Anne is big.[(triple1 OR ((triple2 triple3) -> rule4) OR ((((triple4) -> rule3) triple3) -> rule4))] Anne is blue.[(triple2 OR ((triple4) -> rule3) OR ((((((triple1) -> rule1)) -> rule5)) -> rule3))] Anne is quiet.[(triple3 OR ((triple4 ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule6))] Anne is smart.[(triple4 OR ((((triple1) -> rule1)) -> rule5) OR ((((((triple2 triple3) -> rule4)) -> rule1)) -> rule5))] Charlie is blue.[(triple5 OR ((((triple6) -> rule5)) -> rule3))] Charlie is green.[(triple6)] Dave is green.[(triple7)] @1: Anne is green.[(((triple1) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule1) OR ((((((triple4) -> rule3) triple3) -> rule4)) -> rule1))] Charlie is smart.[(((triple6) -> rule5))] Dave is smart.[(((triple7) -> rule5))] @2: Charlie is quiet.[(((((triple6) -> rule5) triple6) -> rule6))] Dave is blue.[(((((triple7) -> rule5)) -> rule3))] Dave is quiet.[(((((triple7) -> rule5) triple7) -> rule6))] @3: Charlie is big.[(((triple5 ((((triple6) -> rule5) triple6) -> rule6)) -> rule4) OR ((((((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) triple6) -> rule6)) -> rule4))] Dave is big.[(((((((triple7) -> rule5)) -> rule3) ((((triple7) -> rule5) triple7) -> rule6)) -> rule4))]