Dave is blue. Dave is green. Dave is nice. Dave is rough. Dave is not round. Fiona is blue. Fiona is quiet. Fiona is round. Fiona is not white. Gary is green. Gary is not rough. Gary is white. If something is blue and not white then it is green. If something is blue and white then it is not nice.
Gary is not quiet.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is not round.[(triple5)] Dave is rough.[(triple4)] Fiona is blue.[(triple6)] Fiona is not white.[(triple9)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Gary is green.[(triple10)] Gary is not rough.[(triple11)] Gary is white.[(triple12)] @1: Fiona is green.[(((triple6 triple9) -> rule1))]