Anne is cold. Anne is furry. Anne is kind. Anne is not nice. Erin is cold. Fiona is green. Fiona is kind. Gary is furry. Gary is not green. Gary is kind. If Erin is cold then Erin is big. If Anne is kind and Anne is cold then Anne is smart. All big things are not kind. If Gary is smart then Gary is furry. If something is big and not kind then it is smart. If something is big and not smart then it is not green. If something is green and not smart then it is furry. Furry, green things are nice.
Anne is not furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not nice.[(triple4)] Erin is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple10)] Gary is not green.[(triple9)] @1: Anne is smart.[(((triple3 triple1) -> rule2))] Erin is big.[(((triple5) -> rule1))] @2: Erin is not kind.[(((((triple5) -> rule1)) -> rule3))] @3: Erin is smart.[(((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule5))]