Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. If Bob is rough and Bob is not cold then Bob is nice. If Fiona is white and Fiona is not smart then Fiona is cold.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is not furry.[(triple7)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)]