Alan was born only a few years ago so he is young. That Gary is a round, rough fellow, and he's nice, as well as big. Harry is a nice person, but he is both blue and red. I know anyone I meet who is big, nice, and round will be young. A big and young, round someone looks red. Among the green people who are young, the color blue is always part of them. I've noticed that red, cold people who are kind have the trait of rough skin. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. Nice people who are looking green and seeing red usually feel rather rough. A nice person with rough skin will be round, you can count on it.
Gary is not blue.
@0: Alan is young.[(triple1)] Gary is big.[(triple5)] Gary is nice.[(triple4)] Gary is rough.[(triple3)] Gary is round.[(triple2 OR ((triple3 triple4) -> rule7))] Harry is blue.[(triple8)] Harry is nice.[(triple7)] Harry is red.[(triple6)] @1: Gary is young.[(((triple5 triple4 triple2) -> rule1) OR ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1))] @2: Gary is red.[(((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2))] @3: Gary is blue.[(((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5))]