Anne is cold. Charlie is not blue. Charlie is green. Charlie is smart. Charlie is young. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is young. Blue people are cold. If Anne is cold and Anne is not blue then Anne is rough. If someone is rough and not blue then they are not young.
Charlie is not cold.
@0: Anne is cold.[(triple1)] Charlie is green.[(triple3)] Charlie is not blue.[(triple2)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Erin is cold.[(((triple6) -> rule1))]