Anne is cold. Anne is not round. Charlie is green. Charlie is not kind. Charlie is not nice. Charlie is smart. Erin is cold. Erin is nice. Erin is round. Erin is smart. Smart, rough things are cold. If something is rough and not smart then it is cold. Round, nice things are cold. Cold things are nice. All cold things are rough. If Erin is kind then Erin is not round. Nice things are green. If something is kind and not rough then it is green.
Charlie is cold.
@0: Anne is cold.[(triple1)] Anne is not round.[(triple2)] Charlie is green.[(triple3)] Charlie is not kind.[(triple4)] Charlie is not nice.[(triple5)] Charlie is smart.[(triple6)] Erin is cold.[(triple7 OR ((triple9 triple8) -> rule3))] Erin is nice.[(triple8 OR ((triple7) -> rule4))] Erin is round.[(triple9)] Erin is smart.[(triple10)] @1: Anne is nice.[(((triple1) -> rule4))] Anne is rough.[(((triple1) -> rule5))] Erin is green.[(((triple8) -> rule7) OR ((((triple7) -> rule4)) -> rule7))] Erin is rough.[(((triple7) -> rule5) OR ((((triple9 triple8) -> rule3)) -> rule5))] @2: Anne is green.[(((((triple1) -> rule4)) -> rule7))]