Charlie is big. Charlie is furry. Charlie is green. Charlie is rough. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Fiona is big. Fiona is green. All rough things are smart.
Fiona is not smart.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is rough.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10 OR ((triple9) -> rule1))] Fiona is big.[(triple11)] Fiona is green.[(triple12)] @1: Charlie is smart.[(((triple4) -> rule1))]