Anne is green. Bob is quiet. Fiona is smart. Gary is smart. All white people are green. If someone is green and not big then they are quiet.
Anne is green.
@0: Anne is green.[(triple1)] Bob is quiet.[(triple2)] Fiona is smart.[(triple3)] Gary is smart.[(triple4)]