Dave is nice. Dave is quiet. Dave is young. Fiona is green. Fiona is smart. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is round. If someone is smart then they are quiet. All smart, round people are nice.
Fiona is not green.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Fiona is quiet.[(((triple5) -> rule1))]