Gary is red. Smart people are white. Cold people are smart. Smart people are furry. If someone is big then they are smart. Red people are white. All furry, white people are big. All smart, furry people are white. If Gary is smart and Gary is furry then Gary is young.
Gary is not furry.
@0: Gary is red.[(triple1)] @1: Gary is white.[(((triple1) -> rule5))]