Charlie is blue. Charlie is furry. Charlie is green. Charlie is not nice. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is young. Gary is not blue. Gary is rough. Harry is furry. If something is rough and furry then it is green. If Gary is furry and Gary is not nice then Gary is green. Kind things are young.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not nice.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is young.[(triple9 OR ((triple7) -> rule3))] Gary is not blue.[(triple10)] Gary is rough.[(triple11)] Harry is furry.[(triple12)]