Dave is kind. Dave is not white. Erin is not big. Erin is not furry. Erin is kind. Fiona is furry. Fiona is smart. Red, kind people are not big. If Erin is cold and Erin is kind then Erin is red.
Dave is not white.
@0: Dave is kind.[(triple1)] Dave is not white.[(triple2)] Erin is kind.[(triple5)] Erin is not big.[(triple3)] Erin is not furry.[(triple4)] Fiona is furry.[(triple6)] Fiona is smart.[(triple7)]