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