Fiona is quiet. Fiona is red. Fiona is rough. Gary is nice. Gary is red. Gary is rough. Gary is round. All blue, red people are nice. If someone is round and nice then they are quiet.
Fiona is not nice.
@0: Fiona is quiet.[(triple1)] Fiona is red.[(triple2)] Fiona is rough.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Gary is quiet.[(((triple7 triple4) -> rule2))]