Anne is rough. Anne is young. Bob is cold. Bob is not red. Charlie is not blue. Charlie is cold. Charlie is red. Charlie is rough. Charlie is round. Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is not round. Erin is young. If someone is round and cold then they are white.
Erin is not rough.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Bob is cold.[(triple3)] Bob is not red.[(triple4)] Charlie is cold.[(triple6)] Charlie is not blue.[(triple5)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Erin is blue.[(triple10)] Erin is cold.[(triple11)] Erin is not round.[(triple14)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is young.[(triple15)] @1: Charlie is white.[(((triple9 triple6) -> rule1))]