Gary is green. All green things are smart. All rough things are smart. Big, rough things are smart. If Gary is big then Gary is not kind. If Gary is smart then Gary is big. If something is cold and not kind then it is not young.
Gary is not big.
@0: Gary is green.[(triple1)] @1: Gary is smart.[(((triple1) -> rule1))] @2: Gary is big.[(((((triple1) -> rule1)) -> rule5))] @3: Gary is not kind.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]