Anne is round. Anne is smart. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is round. Erin is smart. Erin is white. Round people are blue. If someone is round and kind then they are cold. Round, blue people are kind. If someone is kind and round then they are white. If Charlie is rough then Charlie is kind. Cold people are kind. If Charlie is rough then Charlie is round. If Erin is smart then Erin is cold.
Anne is not kind.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Charlie is blue.[(triple3 OR ((triple7) -> rule1) OR ((((triple6) -> rule7)) -> rule1))] Charlie is cold.[(triple4 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple6) -> rule5)) -> rule2) OR ((triple7 ((triple7 triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule7) triple5) -> rule2) OR ((((triple6) -> rule7) ((triple6) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple7 triple3) -> rule3)) -> rule2) OR ((triple7 ((triple7 ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule7) triple3) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((triple7 ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7) triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2))] Charlie is kind.[(triple5 OR ((triple4) -> rule6) OR ((triple6) -> rule5) OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((triple6) -> rule7) triple3) -> rule3) OR ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3) OR ((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3))] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple6) -> rule7))] Charlie is smart.[(triple8)] Charlie is white.[(triple9 OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple6) -> rule7)) -> rule4) OR ((((triple4) -> rule6) triple7) -> rule4) OR ((((triple6) -> rule5) triple7) -> rule4) OR ((((triple7 triple3) -> rule3) triple7) -> rule4) OR ((((triple4) -> rule6) ((triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule5) ((triple6) -> rule7)) -> rule4) OR ((((triple7 triple3) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule1)) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule7) triple3) -> rule3) triple7) -> rule4) OR ((((triple7 ((triple7) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7) triple3) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3) triple7) -> rule4) OR ((((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4))] Erin is blue.[(triple10 OR ((triple14) -> rule1))] Erin is cold.[(triple11 OR ((triple15) -> rule8) OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple14 triple10) -> rule3)) -> rule2) OR ((triple14 ((triple14 ((triple14) -> rule1)) -> rule3)) -> rule2))] Erin is kind.[(triple12 OR ((triple11) -> rule6) OR ((triple14 triple10) -> rule3) OR ((((triple15) -> rule8)) -> rule6) OR ((triple14 ((triple14) -> rule1)) -> rule3))] Erin is rough.[(triple13)] Erin is round.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16 OR ((triple12 triple14) -> rule4) OR ((((triple11) -> rule6) triple14) -> rule4) OR ((((triple14 triple10) -> rule3) triple14) -> rule4) OR ((((((triple15) -> rule8)) -> rule6) triple14) -> rule4) OR ((((triple14 ((triple14) -> rule1)) -> rule3) triple14) -> rule4))] @1: Anne is blue.[(((triple1) -> rule1))] @2: Anne is kind.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: Anne is cold.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))] Anne is white.[(((((triple1 ((triple1) -> rule1)) -> rule3) triple1) -> rule4))]