Anne is rough. Bob is rough. Fiona is white. If something is smart then it is red. If something is furry then it is smart. If Fiona is nice then Fiona is white. If something is young then it is smart. If Anne is young and Anne is white then Anne is red. If Bob is red then Bob is white.
Bob is not white.
@0: Anne is rough.[(triple1)] Bob is rough.[(triple2)] Fiona is white.[(triple3)]