Bob is nice. Charlie is not green. Erin is cold. Fiona is nice. Furry people are nice. If someone is furry and green then they are white. If Charlie is furry and Charlie is green then Charlie is nice. If Bob is not white and Bob is not cold then Bob is big. If someone is green and not big then they are blue. All furry people are blue.
Charlie is green.
@0: Bob is nice.[(triple1)] Charlie is not green.[(triple2)] Erin is cold.[(triple3)] Fiona is nice.[(triple4)]