Anne is kind. Charlie is kind. Erin is not young. Gary is furry. All round, smart things are green. If Gary is young and Gary is not furry then Gary is round. If Gary is nice then Gary is smart. If Anne is smart then Anne is not green. If something is round then it is young. All furry, young things are smart. Furry things are not kind. If something is green and not smart then it is kind.
Erin is not green.
@0: Anne is kind.[(triple1)] Charlie is kind.[(triple2)] Erin is not young.[(triple3)] Gary is furry.[(triple4)] @1: Gary is not kind.[(((triple4) -> rule7))]