Gary is blue. Green people are rough. If Gary is quiet then Gary is big. If someone is big and not rough then they are not young. If Gary is quiet and Gary is young then Gary is not blue. Big people are not furry. Blue people are not furry.
Gary is young.
@0: Gary is blue.[(triple1)] @1: Gary is not furry.[(((triple1) -> rule6))]