Bob is young. Dave is young. Erin is green. Fiona is not white. All red things are not white. If something is white and smart then it is young. All smart things are young. If something is red and not smart then it is not nice. If Bob is not white then Bob is nice. If something is smart and not young then it is green.
Fiona is not white.
@0: Bob is young.[(triple1)] Dave is young.[(triple2)] Erin is green.[(triple3)] Fiona is not white.[(triple4)]