Dave is kind. Dave is nice. Dave is white. Erin is white. Erin is young. Fiona is round. Fiona is not young. Gary is nice. Gary is red. Gary is not white. If Dave is not young then Dave is red. If something is young and not nice then it is red. If Gary is cold and Gary is red then Gary is kind.
Erin is cold.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is white.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is not young.[(triple7)] Fiona is round.[(triple6)] Gary is nice.[(triple8)] Gary is not white.[(triple10)] Gary is red.[(triple9)]