Dave is green. Dave is red. Dave is rough. Dave is white. Erin is cold. Erin is green. Erin is not red. Fiona is green. Fiona is not smart. Fiona is not white. All smart people are not cold. If someone is big and not green then they are rough. If Fiona is rough then Fiona is smart. Smart, rough people are not white. If Erin is rough then Erin is not big. All big, white people are red.
Dave is not rough.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is not red.[(triple7)] Fiona is green.[(triple8)] Fiona is not smart.[(triple9)] Fiona is not white.[(triple10)]