Alan is very big for being so young. Bob has been blue because he's green with envy. Charlie has been blue because he's green with envy. Gary has been blue because he's green with envy. Blue people who are also green with envy are rough. A green young person will certainly be nice as well. When people are still young, the blue and round ones will also be a bit red. When you make the hulk big and green, he is filled with red rage. All rough people are big in some way.
Gary is not green.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Gary is blue.[(triple8)] Gary is green.[(triple7)] @1: Bob is rough.[(((triple4 triple3) -> rule1))] Charlie is rough.[(((triple6 triple5) -> rule1))] Gary is rough.[(((triple8 triple7) -> rule1))] @2: Bob is big.[(((((triple4 triple3) -> rule1)) -> rule5))] Charlie is big.[(((((triple6 triple5) -> rule1)) -> rule5))] Gary is big.[(((((triple8 triple7) -> rule1)) -> rule5))] @3: Bob is red.[(((((((triple4 triple3) -> rule1)) -> rule5) triple3) -> rule4))] Charlie is red.[(((((((triple6 triple5) -> rule1)) -> rule5) triple5) -> rule4))] Gary is red.[(((((((triple8 triple7) -> rule1)) -> rule5) triple7) -> rule4))]