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.
Anne is white.
@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)]