Anne is cold. Anne is kind. Anne is nice. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Gary is green. Gary is kind. Gary is rough. Gary is smart. Gary is not white. If someone is green and cold then they are not smart. If someone is rough then they are smart. If someone is kind and not nice then they are white.
Gary is kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Fiona is kind.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule2))] Fiona is white.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not white.[(triple12)] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple10) -> rule2))]