Charlie is big. Dave is quiet. Fiona is not red. Gary is big. If someone is white and nice then they are quiet. All green, quiet people are white. If someone is white and not green then they are not nice. All green people are nice. If Dave is not quiet and Dave is not nice then Dave is big. All quiet, big people are red.
Dave is not big.
@0: Charlie is big.[(triple1)] Dave is quiet.[(triple2)] Fiona is not red.[(triple3)] Gary is big.[(triple4)]