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