Anne is furry. Dave is big. Erin is green. Fiona is cold. If Anne is kind and Anne is not cold then Anne is furry. Green people are not furry. If someone is nice then they are not furry. If Erin is nice then Erin is green. If Dave is kind then Dave is not nice. If someone is furry and cold then they are not green.
Erin is not green.
@0: Anne is furry.[(triple1)] Dave is big.[(triple2)] Erin is green.[(triple3)] Fiona is cold.[(triple4)] @1: Erin is not furry.[(((triple3) -> rule2))]