Anne is green. Erin is not red. Fiona is green. Fiona is quiet. Fiona is white. Gary is cold. Gary is red. If something is white then it is not kind. If something is kind and not quiet then it is not red. All quiet, cold things are red. If Fiona is cold and Fiona is not white then Fiona is green. If Gary is not smart then Gary is kind. If Fiona is not smart then Fiona is kind.
Fiona is not red.
@0: Anne is green.[(triple1)] Erin is not red.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is red.[(triple7)] @1: Fiona is not kind.[(((triple5) -> rule1))]