Bob has been blue because he's green with envy. Gary has been blue because he's green with envy. Big Harry is a young, round man. Red, green and cold people are certain to be young people, too. Maybe someone is round and rough but wears green shoes. Big green and young people are often nice. A person who is attending school will be quite young and always wearing green and red clothing is always going to be nice to you. Cold and rough people are usually red. Someone who's big, especially nice, and also cold at the same time can only be young. Young people who are big are often rough.
Gary is rough.
@0: Bob is blue.[(triple2)] Bob is green.[(triple1)] Gary is blue.[(triple4)] Gary is green.[(triple3)] Harry is big.[(triple7)] Harry is round.[(triple6)] Harry is young.[(triple5)] @1: Harry is rough.[(((triple5 triple7) -> rule7))] @2: Harry is green.[(((((triple5 triple7) -> rule7) triple6) -> rule2))] @3: Harry is nice.[(((triple7 ((((triple5 triple7) -> rule7) triple6) -> rule2) triple5) -> rule3))]