Bob is cold. Erin is furry. Fiona is green. Gary is cold. If someone is white then they are cold. If Fiona is smart then Fiona is green. Smart people are green. If Fiona is cold then Fiona is not furry. If someone is big and cold then they are young. If someone is green and not furry then they are big.
Bob is cold.
@0: Bob is cold.[(triple1)] Erin is furry.[(triple2)] Fiona is green.[(triple3)] Gary is cold.[(triple4)]