Anne is cold. Anne is not white. Bob is big. Bob is quiet. Bob is not red. Bob is round. Bob is white. Fiona is big. Fiona is quiet. Fiona is not red. Fiona is round. Gary is nice. If something is quiet and cold then it is round. Round, red things are white. If something is nice and red then it is quiet.
Gary is cold.
@0: Anne is cold.[(triple1)] Anne is not white.[(triple2)] Bob is big.[(triple3)] Bob is not red.[(triple5)] Bob is quiet.[(triple4)] Bob is round.[(triple6)] Bob is white.[(triple7)] Fiona is big.[(triple8)] Fiona is not red.[(triple10)] Fiona is quiet.[(triple9)] Fiona is round.[(triple11)] Gary is nice.[(triple12)]