Anne is blue. Anne is furry. Anne is not green. Anne is nice. Bob is blue. Bob is green. Bob is nice. Fiona is not furry. Fiona is nice. Fiona is smart. Gary is big. Gary is nice. All kind people are furry. All blue, big people are furry. If someone is nice and not kind then they are green.
Gary is not furry.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple4)] Anne is not green.[(triple3)] Bob is blue.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7)] Fiona is nice.[(triple9)] Fiona is not furry.[(triple8)] Fiona is smart.[(triple10)] Gary is big.[(triple11)] Gary is nice.[(triple12)]