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