Charlie is cold. Gary is not big. Gary is not cold. If Charlie is green and Charlie is nice then Charlie is not furry. If someone is cold and nice then they are not big. Green people are cold.
Gary is furry.
@0: Charlie is cold.[(triple1)] Gary is not big.[(triple2)] Gary is not cold.[(triple3)]