Red Alan is what folks call him, because he is quite red. Dave is very nice to people, but he's also rather big. Gary is both big and round, with blue features. Nice, but round, Harry has been said to be cold. A cold person who is round but rough around the edges is big. A person fitting the description of rough, cold and red will also be a nice person. I've noticed that someone with a round shape is also green. Most green and round people,though big are quite young. People who are blue and cold are red. A green person is going to be rough. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Dave is round.
@0: Alan is red.[(triple1)] Dave is big.[(triple3)] Dave is nice.[(triple2)] Gary is big.[(triple6 OR ((triple4 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule1))] Gary is blue.[(triple5)] Gary is round.[(triple4)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] Harry is round.[(triple7)] @1: Gary is green.[(((triple4) -> rule3))] Harry is green.[(((triple7) -> rule3))] @2: Gary is rough.[(((((triple4) -> rule3)) -> rule6))] Gary is young.[(((((triple4) -> rule3) triple4 triple6) -> rule4) OR ((((triple4) -> rule3) triple4 ((triple4 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule4))] Harry is rough.[(((((triple7) -> rule3)) -> rule6))] @3: Gary is cold.[(((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7))] Harry is big.[(((triple7 triple9 ((((triple7) -> rule3)) -> rule6)) -> rule1))] @4: Gary is red.[(((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5))] Harry is young.[(((((triple7) -> rule3) triple7 ((triple7 triple9 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule4))] @5: Gary is nice.[(((((((triple4) -> rule3)) -> rule6) ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5)) -> rule2))]