Anne is furry. Anne is green. Anne is round. Anne is smart. Charlie is not kind. Charlie is red. Fiona is green. Fiona is not kind. Fiona is not red. Fiona is smart. Gary is not furry. Gary is green. Gary is kind. Gary is red. Gary is smart. If someone is red and not round then they are not kind. Green, smart people are blue. If someone is round and not kind then they are blue.
Fiona is smart.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Charlie is not kind.[(triple5)] Charlie is red.[(triple6)] Fiona is green.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not red.[(triple9)] Fiona is smart.[(triple10)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is not furry.[(triple11)] Gary is red.[(triple14)] Gary is smart.[(triple15)] @1: Anne is blue.[(((triple2 triple4) -> rule2))] Fiona is blue.[(((triple7 triple10) -> rule2))] Gary is blue.[(((triple12 triple15) -> rule2))]