Bob is blue. Bob is kind. Fiona is blue. Fiona is kind. Gary is blue. Gary is green. Gary is quiet. If Bob is round then Bob is cold. Round things are cold. If Fiona is quiet and Fiona is cold then Fiona is green. Cold things are quiet. If something is rough then it is green. All blue, round things are quiet.
Fiona is not kind.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)]