Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is not quiet. Bob is red. Fiona is not blue. Fiona is not cold. Fiona is quiet. Fiona is red. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is young. If Gary is not blue then Gary is quiet. If something is cold and not nice then it is not kind.
Fiona is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not quiet.[(triple5)] Bob is red.[(triple6)] Fiona is not blue.[(triple7)] Fiona is not cold.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15)] Gary is young.[(triple16)]