Charlie is blue. Charlie is green. Charlie is white. Dave is blue. Dave is smart. Dave is white. Erin is rough. Fiona is blue. Fiona is cold. Fiona is rough. Rough, white people are smart. If Fiona is cold then Fiona is rough.
Fiona is not smart.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is white.[(triple3)] Dave is blue.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Erin is rough.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is rough.[(triple10 OR ((triple9) -> rule2))]