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