Charlie is blue. Charlie is furry. Harry is nice. All red people are furry. Red people are quiet. All blue, red people are young.
Harry is not furry.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Harry is nice.[(triple3)]