Bob is not cold. Bob is furry. Bob is not green. Bob is not nice. Bob is not red. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. If someone is cold then they are green. If someone is cold then they are not red.
Fiona is not blue.
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Bob is not green.[(triple3)] Bob is not nice.[(triple4)] Bob is not red.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is not cold.[(triple8)] Fiona is red.[(triple12)]