Anne is big. Anne is kind. Charlie is big. Erin is big. Erin is blue. Erin is not kind. Erin is not young. Harry is big. Harry is nice. Harry is white. Harry is young. All kind, big things are blue. If something is young and kind then it is nice. Blue, cold things are nice. White things are cold. White, big things are cold. If Erin is blue and Erin is white then Erin is nice. All cold, nice things are young. All kind, blue things are white.
Harry is white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Charlie is big.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is not kind.[(triple6)] Erin is not young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] Harry is young.[(triple11 OR ((((triple10) -> rule4) triple9) -> rule7) OR ((((triple10 triple8) -> rule5) triple9) -> rule7))] @1: Anne is blue.[(((triple2 triple1) -> rule1))] Harry is cold.[(((triple10) -> rule4) OR ((triple10 triple8) -> rule5))] @2: Anne is white.[(((triple2 ((triple2 triple1) -> rule1)) -> rule8))] @3: Anne is cold.[(((((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule4) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule8) triple1) -> rule5))] @4: Anne is nice.[(((((triple2 triple1) -> rule1) ((((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule4)) -> rule3) OR ((((triple2 triple1) -> rule1) ((((triple2 ((triple2 triple1) -> rule1)) -> rule8) triple1) -> rule5)) -> rule3))] @5: Anne is young.[(((((((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule4) ((((triple2 triple1) -> rule1) ((((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule4) ((((triple2 triple1) -> rule1) ((((triple2 ((triple2 triple1) -> rule1)) -> rule8) triple1) -> rule5)) -> rule3)) -> rule7) OR ((((((triple2 ((triple2 triple1) -> rule1)) -> rule8) triple1) -> rule5) ((((triple2 triple1) -> rule1) ((((triple2 ((triple2 triple1) -> rule1)) -> rule8)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple2 ((triple2 triple1) -> rule1)) -> rule8) triple1) -> rule5) ((((triple2 triple1) -> rule1) ((((triple2 ((triple2 triple1) -> rule1)) -> rule8) triple1) -> rule5)) -> rule3)) -> rule7))]