Anne is young. Charlie is young. Erin is furry. Gary is smart. If someone is kind then they are cold. If someone is furry and not kind then they are cold. If someone is cold then they are not young. All quiet, smart people are young. If someone is kind then they are rough. All furry, kind people are rough. If someone is furry then they are rough. If Anne is rough and Anne is not quiet then Anne is smart.
Gary is not rough.
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Erin is furry.[(triple3)] Gary is smart.[(triple4)] @1: Erin is rough.[(((triple3) -> rule7))]