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