Anne is not cold. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Erin is cold. Erin is quiet. Erin is round. Erin is smart. If Erin is quiet then Erin is nice. If something is cold and not white then it is smart. Cold things are quiet. If something is white and not smart then it is round. If something is quiet and cold then it is nice. If Anne is smart and Anne is round then Anne is quiet.
Anne is not green.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is quiet.[(triple4 OR ((triple6 triple5) -> rule6))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8 OR ((triple7) -> rule3))] Erin is round.[(triple9)] Erin is smart.[(triple10)] @1: Erin is nice.[(((triple8) -> rule1) OR ((triple8 triple7) -> rule5) OR ((((triple7) -> rule3)) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule5))]