Bob is blue. Bob is not green. Bob is rough. Bob is smart. Erin is blue. Erin is cold. Fiona is blue. Fiona is not green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. All cold, green things are nice. All cold, green things are not blue. If something is nice and not blue then it is round. If Fiona is cold and Fiona is not blue then Fiona is not round. If Bob is cold and Bob is rough then Bob is round. If something is cold and not nice then it is rough.
Fiona is cold.
@0: Bob is blue.[(triple1)] Bob is not green.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)]