Charlie is big. Charlie is smart. Dave is big. Dave is cold. Dave is nice. Dave is rough. Dave is smart. Dave is white. Fiona is rough. Fiona is white. If someone is smart then they are rough.
Fiona is white.
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6 OR ((triple7) -> rule1))] Dave is smart.[(triple7)] Dave is white.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is rough.[(((triple2) -> rule1))]