Anne is cold. Anne is quiet. Anne is smart. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. All quiet, green things are cold. If something is rough and smart then it is round. All rough, cold things are round. Rough things are quiet. If Erin is round then Erin is green. All green, white things are rough.
Erin is not cold.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5 OR ((((triple4 triple7) -> rule6)) -> rule4))] Charlie is round.[(triple6 OR ((((triple4 triple7) -> rule6) ((triple5 triple4) -> rule1)) -> rule3) OR ((((triple4 triple7) -> rule6) ((((((triple4 triple7) -> rule6)) -> rule4) triple4) -> rule1)) -> rule3))] Charlie is white.[(triple7)] Erin is quiet.[(triple8 OR ((triple9) -> rule4) OR ((((((triple10) -> rule5) triple12) -> rule6)) -> rule4))] Erin is rough.[(triple9 OR ((((triple10) -> rule5) triple12) -> rule6))] Erin is round.[(triple10 OR ((triple9 triple11) -> rule2))] Erin is smart.[(triple11)] Erin is white.[(triple12)] @1: Charlie is cold.[(((triple5 triple4) -> rule1) OR ((((((triple4 triple7) -> rule6)) -> rule4) triple4) -> rule1))] Charlie is rough.[(((triple4 triple7) -> rule6))] Erin is green.[(((triple10) -> rule5) OR ((((triple9 triple11) -> rule2)) -> rule5))] @2: Erin is cold.[(((triple8 ((triple10) -> rule5)) -> rule1) OR ((((triple9) -> rule4) ((triple10) -> rule5)) -> rule1) OR ((triple8 ((((triple9 triple11) -> rule2)) -> rule5)) -> rule1) OR ((((triple9) -> rule4) ((((triple9 triple11) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule5) triple12) -> rule6)) -> rule4) ((triple10) -> rule5)) -> rule1) OR ((((((((triple10) -> rule5) triple12) -> rule6)) -> rule4) ((((triple9 triple11) -> rule2)) -> rule5)) -> rule1))]