Bob is cold. Fiona is big. Gary is big. If someone is white and round then they are green. If Gary is white then Gary is round. Round, big people are cold.
Fiona is not big.
@0: Bob is cold.[(triple1)] Fiona is big.[(triple2)] Gary is big.[(triple3)]