Anne is blue. Anne is kind. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Gary is kind. Gary is nice. Gary is white. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is white. Blue things are rough. If Gary is kind then Gary is nice. If something is kind then it is white. All white, nice things are quiet. If something is white and blue then it is nice. If something is rough then it is white.
Erin is not cold.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple3) -> rule3) OR ((triple5) -> rule6))] Gary is kind.[(triple7)] Gary is nice.[(triple8 OR ((triple7) -> rule2))] Gary is white.[(triple9 OR ((triple7) -> rule3))] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple16 triple10) -> rule5) OR ((((triple12) -> rule3) triple10) -> rule5) OR ((((triple15) -> rule6) triple10) -> rule5) OR ((((((triple10) -> rule1)) -> rule6) triple10) -> rule5))] Harry is quiet.[(triple14 OR ((triple16 triple13) -> rule4) OR ((triple16 ((triple16 triple10) -> rule5)) -> rule4) OR ((((triple12) -> rule3) triple13) -> rule4) OR ((((triple15) -> rule6) triple13) -> rule4) OR ((((triple12) -> rule3) ((triple16 triple10) -> rule5)) -> rule4) OR ((((triple15) -> rule6) ((triple16 triple10) -> rule5)) -> rule4) OR ((triple16 ((((triple12) -> rule3) triple10) -> rule5)) -> rule4) OR ((triple16 ((((triple15) -> rule6) triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) triple13) -> rule4) OR ((((triple12) -> rule3) ((((triple12) -> rule3) triple10) -> rule5)) -> rule4) OR ((((triple12) -> rule3) ((((triple15) -> rule6) triple10) -> rule5)) -> rule4) OR ((((triple15) -> rule6) ((((triple12) -> rule3) triple10) -> rule5)) -> rule4) OR ((((triple15) -> rule6) ((((triple15) -> rule6) triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((triple16 triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((triple12) -> rule3) triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((triple15) -> rule6) triple10) -> rule5)) -> rule4) OR ((triple16 ((((((triple10) -> rule1)) -> rule6) triple10) -> rule5)) -> rule4) OR ((((triple12) -> rule3) ((((((triple10) -> rule1)) -> rule6) triple10) -> rule5)) -> rule4) OR ((((triple15) -> rule6) ((((((triple10) -> rule1)) -> rule6) triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple10) -> rule1)) -> rule6) triple10) -> rule5)) -> rule4))] Harry is rough.[(triple15 OR ((triple10) -> rule1))] Harry is white.[(triple16 OR ((triple12) -> rule3) OR ((triple15) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] @1: Anne is rough.[(((triple1) -> rule1))] Anne is white.[(((triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule6))] Gary is quiet.[(((triple9 triple8) -> rule4) OR ((triple9 ((triple7) -> rule2)) -> rule4) OR ((((triple7) -> rule3) triple8) -> rule4) OR ((((triple7) -> rule3) ((triple7) -> rule2)) -> rule4))] @2: Anne is nice.[(((((triple2) -> rule3) triple1) -> rule5) OR ((((((triple1) -> rule1)) -> rule6) triple1) -> rule5))] @3: Anne is quiet.[(((((triple2) -> rule3) ((((triple2) -> rule3) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule1)) -> rule6) ((((triple2) -> rule3) triple1) -> rule5)) -> rule4) OR ((((triple2) -> rule3) ((((((triple1) -> rule1)) -> rule6) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule1)) -> rule6) ((((((triple1) -> rule1)) -> rule6) triple1) -> rule5)) -> rule4))]