If you met Alan you will see that he is round and red, but he is cold. Big, round Dave is cold and very green. Gary is rough but very kind, he is also red in color and young in age. Red Harry is what folks call him, because he is quite red. Everyone that is rough but also kind will be green. Being a kind person even when you are blue is hard, but it means you are round with delight. Nice people that are blue because they are cold turn green with envy. People that tend to be big and green also tend to be cold. Being green and rough are signs that someone is big.
Gary is rough.
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple7)] Dave is cold.[(triple6 OR ((triple7 triple5) -> rule4))] Dave is green.[(triple5)] Dave is round.[(triple4)] Gary is kind.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] Harry is red.[(triple12)] @1: Gary is green.[(((triple11 triple9) -> rule1))] @2: Gary is big.[(((((triple11 triple9) -> rule1) triple9) -> rule5))] @3: Gary is cold.[(((((((triple11 triple9) -> rule1) triple9) -> rule5) ((triple11 triple9) -> rule1)) -> rule4))]