Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is rough. Charlie is smart. Charlie is white. Erin is not cold. Erin is red. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is rough. Fiona is smart. Fiona is white. If someone is smart and not red then they are cold. Rough people are white.
Fiona is rough.
@0: Charlie is cold.[(triple1 OR ((triple6 triple4) -> rule1))] Charlie is kind.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5) -> rule2))] Erin is not cold.[(triple8)] Erin is red.[(triple9)] Fiona is cold.[(triple10 OR ((triple15 triple13) -> rule1))] Fiona is kind.[(triple11)] Fiona is not red.[(triple13)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)] Fiona is white.[(triple16 OR ((triple14) -> rule2))]