Dave is big. Fiona is nice. Gary is not blue. Red things are not nice. If something is furry and not big then it is nice. Young, red things are not blue. If something is young and not furry then it is blue. All red things are blue. Blue things are rough. If something is blue then it is red. If Fiona is big then Fiona is not blue.
Gary is not blue.
@0: Dave is big.[(triple1)] Fiona is nice.[(triple2)] Gary is not blue.[(triple3)]