Charlie is blue. Dave is round. Gary is furry. Harry is big. If Harry is young and Harry is green then Harry is furry. Green, blue things are red.
Charlie is young.
@0: Charlie is blue.[(triple1)] Dave is round.[(triple2)] Gary is furry.[(triple3)] Harry is big.[(triple4)]