Charlie is young. Erin is green. If something is green and not furry then it is round. If Erin is furry and Erin is not round then Erin is not blue.
Erin is not green.
@0: Charlie is young.[(triple1)] Erin is green.[(triple2)]