Anne is not big. Anne is blue. Anne is not quiet. Anne is smart. Erin is big. Erin is blue. Erin is quiet. Erin is rough. Gary is big. Harry is blue. Harry is cold. Harry is not quiet. Red things are cold. If Harry is cold and Harry is red then Harry is rough. If Erin is not red then Erin is not big. Quiet, cold things are not big. If something is smart then it is not rough. If Harry is rough and Harry is not big then Harry is not smart.
Gary is not cold.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Gary is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not quiet.[(triple12)] @1: Anne is not rough.[(((triple4) -> rule5))]