Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is young. Charlie is big. Charlie is quiet. Charlie is young. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is young. All kind, quiet things are red. Big, red things are green. Green things are blue. Red things are quiet. If something is quiet then it is kind. All blue, kind things are young.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule3) OR ((((triple1 triple6) -> rule2)) -> rule3) OR ((((triple1 ((triple4 triple5) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule3))] Anne is green.[(triple3 OR ((triple1 triple6) -> rule2) OR ((triple1 ((triple4 triple5) -> rule1)) -> rule2) OR ((triple1 ((((triple5) -> rule5) triple5) -> rule1)) -> rule2))] Anne is kind.[(triple4 OR ((triple5) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] Anne is quiet.[(triple5 OR ((triple6) -> rule4))] Anne is red.[(triple6 OR ((triple4 triple5) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1))] Anne is young.[(triple7 OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple5) -> rule5)) -> rule6) OR ((((triple3) -> rule3) triple4) -> rule6) OR ((((triple3) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((triple2 ((((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple1 triple6) -> rule2)) -> rule3) triple4) -> rule6) OR ((((triple3) -> rule3) ((((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple1 triple6) -> rule2)) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((((triple1 triple6) -> rule2)) -> rule3) ((((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple1 ((triple4 triple5) -> rule1)) -> rule2)) -> rule3) triple4) -> rule6) OR ((((((triple1 ((triple4 triple5) -> rule1)) -> rule2)) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((((triple1 ((triple4 triple5) -> rule1)) -> rule2)) -> rule3) ((((triple6) -> rule4)) -> rule5)) -> rule6) OR ((((((triple1 ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule3) triple4) -> rule6) OR ((((((triple1 ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((((triple1 ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule3) ((((triple6) -> rule4)) -> rule5)) -> rule6))] Charlie is big.[(triple8)] Charlie is quiet.[(triple9)] Charlie is young.[(triple10 OR ((((((triple8 ((((triple9) -> rule5) triple9) -> rule1)) -> rule2)) -> rule3) ((triple9) -> rule5)) -> rule6))] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((triple13) -> rule5) OR ((((triple14) -> rule4)) -> rule5))] Harry is quiet.[(triple13 OR ((triple14) -> rule4))] Harry is red.[(triple14 OR ((triple12 triple13) -> rule1) OR ((((triple13) -> rule5) triple13) -> rule1))] Harry is young.[(triple15 OR ((((triple11) -> rule3) triple12) -> rule6) OR ((((triple11) -> rule3) ((triple13) -> rule5)) -> rule6) OR ((((triple11) -> rule3) ((((triple14) -> rule4)) -> rule5)) -> rule6))] @1: Charlie is kind.[(((triple9) -> rule5))] Harry is blue.[(((triple11) -> rule3))] @2: Charlie is red.[(((((triple9) -> rule5) triple9) -> rule1))] @3: Charlie is green.[(((triple8 ((((triple9) -> rule5) triple9) -> rule1)) -> rule2))] @4: Charlie is blue.[(((((triple8 ((((triple9) -> rule5) triple9) -> rule1)) -> rule2)) -> rule3))]