Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is white. Anne is young. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is young. Kind people are blue. If someone is big then they are kind. All blue, white people are green. Kind people are quiet. If someone is big then they are kind. All quiet, blue people are young. If someone is quiet and kind then they are young. If Harry is green then Harry is quiet.
Harry is not young.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] Anne is green.[(triple3 OR ((triple2 triple6) -> rule3) OR ((((triple4) -> rule1) triple6) -> rule3) OR ((((((triple1) -> rule2)) -> rule1) triple6) -> rule3) OR ((((((triple1) -> rule5)) -> rule1) triple6) -> rule3))] Anne is kind.[(triple4 OR ((triple1) -> rule2) OR ((triple1) -> rule5))] Anne is quiet.[(triple5 OR ((triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple5 triple2) -> rule6) OR ((triple5 triple4) -> rule7) OR ((triple5 ((triple1) -> rule2)) -> rule7) OR ((triple5 ((triple1) -> rule5)) -> rule7) OR ((triple5 ((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule4) triple2) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule7) OR ((((triple4) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((triple4) -> rule4) ((triple1) -> rule5)) -> rule7) OR ((((triple4) -> rule4) ((triple4) -> rule1)) -> rule6) OR ((triple5 ((((triple1) -> rule2)) -> rule1)) -> rule6) OR ((triple5 ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) triple2) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple1) -> rule5)) -> rule4) triple2) -> rule6) OR ((((((triple1) -> rule5)) -> rule4) triple4) -> rule7) OR ((((triple4) -> rule4) ((((triple1) -> rule2)) -> rule1)) -> rule6) OR ((((triple4) -> rule4) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule5)) -> rule7) OR ((((((triple1) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) OR ((((((triple1) -> rule5)) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule7) OR ((((((triple1) -> rule5)) -> rule4) ((triple4) -> rule1)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) ((((triple1) -> rule2)) -> rule1)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule5)) -> rule4) ((((triple1) -> rule2)) -> rule1)) -> rule6) OR ((((((triple1) -> rule5)) -> rule4) ((((triple1) -> rule5)) -> rule1)) -> rule6))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple11) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((triple8) -> rule5)) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple8) -> rule2) OR ((triple8) -> rule5))] Harry is young.[(triple12 OR ((((triple10) -> rule8) triple11) -> rule7) OR ((((triple10) -> rule8) triple9) -> rule6) OR ((((triple11) -> rule4) triple11) -> rule7) OR ((((triple11) -> rule4) triple9) -> rule6) OR ((((triple10) -> rule8) ((triple11) -> rule1)) -> rule6) OR ((((triple10) -> rule8) ((triple8) -> rule2)) -> rule7) OR ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule7) OR ((((triple11) -> rule4) ((triple11) -> rule1)) -> rule6) OR ((((triple11) -> rule4) ((triple8) -> rule2)) -> rule7) OR ((((triple11) -> rule4) ((triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule2)) -> rule4) triple11) -> rule7) OR ((((((triple8) -> rule2)) -> rule4) triple9) -> rule6) OR ((((((triple8) -> rule5)) -> rule4) triple11) -> rule7) OR ((((((triple8) -> rule5)) -> rule4) triple9) -> rule6) OR ((((triple10) -> rule8) ((((triple8) -> rule2)) -> rule1)) -> rule6) OR ((((triple10) -> rule8) ((((triple8) -> rule5)) -> rule1)) -> rule6) OR ((((triple11) -> rule4) ((((triple8) -> rule2)) -> rule1)) -> rule6) OR ((((triple11) -> rule4) ((((triple8) -> rule5)) -> rule1)) -> rule6) OR ((((((triple8) -> rule2)) -> rule4) ((triple11) -> rule1)) -> rule6) OR ((((((triple8) -> rule2)) -> rule4) ((triple8) -> rule2)) -> rule7) OR ((((((triple8) -> rule2)) -> rule4) ((triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule5)) -> rule4) ((triple11) -> rule1)) -> rule6) OR ((((((triple8) -> rule5)) -> rule4) ((triple8) -> rule2)) -> rule7) OR ((((((triple8) -> rule5)) -> rule4) ((triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule2)) -> rule4) ((((triple8) -> rule2)) -> rule1)) -> rule6) OR ((((((triple8) -> rule2)) -> rule4) ((((triple8) -> rule5)) -> rule1)) -> rule6) OR ((((((triple8) -> rule5)) -> rule4) ((((triple8) -> rule2)) -> rule1)) -> rule6) OR ((((((triple8) -> rule5)) -> rule4) ((((triple8) -> rule5)) -> rule1)) -> rule6))] @1: Harry is quiet.[(((triple10) -> rule8) OR ((triple11) -> rule4) OR ((((triple8) -> rule2)) -> rule4) OR ((((triple8) -> rule5)) -> rule4))]