Anne is green. Bob is smart. Charlie is red. Fiona is rough. If something is smart and red then it is nice. If Anne is rough then Anne is kind. All green, rough things are round.
Bob is rough.
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Charlie is red.[(triple3)] Fiona is rough.[(triple4)]