As much as Alan is nice, he is also cold and often feels blue. Bob is big and dresses in blue. Dave had big, red, round cheeks. Even though he's young and green, Gary is rough. It's a fact that young people are red people. A person that is blue green and nice are that way because they are still young. People blue with cold are definitely green and new in these parts. It's always true that round, kind people are rough as well.
Dave is not round.
@0: Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Bob is big.[(triple5)] Bob is blue.[(triple4)] Dave is big.[(triple8)] Dave is red.[(triple7)] Dave is round.[(triple6)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Alan is green.[(((triple3 triple2) -> rule3))] Gary is red.[(((triple9) -> rule1))] @2: Alan is young.[(((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2))] @3: Alan is red.[(((((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2)) -> rule1))]