Bob is not kind. Charlie is kind. Fiona is young. Gary is green. Nice things are rough. Nice things are blue. If Gary is young then Gary is green. If something is young and smart then it is kind. If something is rough and not smart then it is not kind. Green things are young. If something is blue and not rough then it is young. If something is nice and not smart then it is young.
Gary is not green.
@0: Bob is not kind.[(triple1)] Charlie is kind.[(triple2)] Fiona is young.[(triple3)] Gary is green.[(triple4)] @1: Gary is young.[(((triple4) -> rule6))]