Bob is green. Bob is not quiet. Charlie is kind. Charlie is red. Erin is cold. Erin is green. Erin is quiet. Erin is not red. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is red. If someone is nice and not red then they are quiet. If Bob is kind and Bob is not nice then Bob is green.
Fiona is not kind.
@0: Bob is green.[(triple1)] Bob is not quiet.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is not red.[(triple8)] Erin is quiet.[(triple7)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is red.[(triple12)]