Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is not red. Fiona is not rough. Fiona is young. Gary is blue. Gary is cold. Gary is not green. Gary is kind. Gary is red. Gary is rough. Gary is young. Green, kind people are young.
Gary is kind.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is not red.[(triple5)] Fiona is not rough.[(triple6)] Fiona is young.[(triple7 OR ((triple3 triple4) -> rule1))] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple11)] Gary is not green.[(triple10)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is young.[(triple14)]