Bob is round. Charlie is red. Fiona is big. Gary is young. If something is nice and young then it is big.
Charlie is not big.
@0: Bob is round.[(triple1)] Charlie is red.[(triple2)] Fiona is big.[(triple3)] Gary is young.[(triple4)]