Erin is nice. Fiona is round. Gary is smart. Harry is young. If someone is round and not green then they are not blue. All blue people are round. Young, blue people are not smart.
Erin is green.
@0: Erin is nice.[(triple1)] Fiona is round.[(triple2)] Gary is smart.[(triple3)] Harry is young.[(triple4)]