Dave is big. Dave is blue. Dave is white. Erin is big. Erin is red. Fiona is blue. Fiona is kind. Fiona is nice. Gary is big. Gary is smart. If someone is red and smart then they are white.
Fiona is not blue.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is white.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Gary is big.[(triple9)] Gary is smart.[(triple10)]