Anne is kind. Bob is not green. Bob is kind. Bob is red. Erin is blue. Erin is nice. Erin is quiet. Fiona is blue. Fiona is not cold. Fiona is green. If someone is cold and not green then they are not nice. If someone is green then they are not nice. If Erin is kind then Erin is nice. If Erin is blue and Erin is kind then Erin is not cold. If Fiona is blue and Fiona is nice then Fiona is not kind. If Bob is green then Bob is red. If Anne is red then Anne is not quiet. If someone is quiet and not cold then they are red.
Anne is not red.
@0: Anne is kind.[(triple1)] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is red.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple10)] Fiona is not cold.[(triple9)] @1: Fiona is not nice.[(((triple10) -> rule2))]