Dave is big. Fiona is green. Gary is nice. If something is kind then it is round. If something is furry then it is kind. If Dave is kind and Dave is big then Dave is furry. All round things are white. If Dave is nice then Dave is white. If something is white then it is big. If something is furry and round then it is big. All white things are round.
Dave is nice.
@0: Dave is big.[(triple1)] Fiona is green.[(triple2)] Gary is nice.[(triple3)]