Anne is not blue. Anne is furry. Anne is not green. Anne is nice. Bob is not smart. Fiona is furry. Fiona is green. Fiona is not round. Gary is blue. Gary is not green. If something is nice and big then it is green. If something is round and not big then it is not green. Nice things are not round. If Fiona is not nice then Fiona is green. Green things are smart. If something is nice and not smart then it is blue.
Anne is not green.
@0: Anne is furry.[(triple2)] Anne is nice.[(triple4)] Anne is not blue.[(triple1)] Anne is not green.[(triple3)] Bob is not smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not round.[(triple8)] Gary is blue.[(triple9)] Gary is not green.[(triple10)] @1: Anne is not round.[(((triple4) -> rule3))] Fiona is smart.[(((triple7) -> rule5))]