Bob is young. Charlie is quiet. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Harry is big. Harry is green. Harry is red. If Charlie is blue then Charlie is young. If something is blue and not nice then it is not green.
Charlie is not young.
@0: Bob is young.[(triple1)] Charlie is quiet.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10)]