Anne is blue. Anne is cold. Anne is kind. Anne is smart. Fiona is not green. Fiona is not kind. Fiona is smart. Fiona is young. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is smart. Gary is young. If something is smart and not green then it is not kind.
Fiona is not kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Fiona is not green.[(triple5)] Fiona is not kind.[(triple6 OR ((triple7 triple5) -> rule1))] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]