Anne is green. Anne is kind. Anne is not nice. Anne is rough. Fiona is not green. Fiona is not kind. Fiona is not nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. Smart, green people are not kind. If someone is kind and not rough then they are nice. If someone is kind and not red then they are quiet.
Anne is not kind.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is rough.[(triple4)] Fiona is not green.[(triple5)] Fiona is not kind.[(triple6)] Fiona is not nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Gary is not kind.[(((triple16 triple12) -> rule1))]