Charlie is blue. Charlie is not rough. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Fiona is blue. Fiona is not kind. Fiona is red. Fiona is rough. Fiona is not young. Gary is blue. Gary is not nice. Gary is not red. Gary is rough. Gary is young. Nice things are young. If Gary is not red and Gary is not blue then Gary is kind.
Fiona is nice.
@0: Charlie is blue.[(triple1)] Charlie is not rough.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not young.[(triple11)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Gary is blue.[(triple12)] Gary is not nice.[(triple13)] Gary is not red.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Erin is young.[(((triple5) -> rule1))]