Anne is nice. Bob is big. Bob is green. Bob is red. Bob is young. Fiona is nice. Gary is nice. If Fiona is kind then Fiona is white. All young, white things are green.
Gary is not nice.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Fiona is nice.[(triple6)] Gary is nice.[(triple7)]