Red Alan is what folks call him, because he is quite red. Eric is a nice person who is red because he has a rash. Gary is rough and cold, but he's young and will get over it. Big Harry is still young so it's easy for him to be kind. Young and kind folks are always big. Someone can be young, big, and cold but green. A big rough person are also young of age. Someone with the traits of being cold and red is also going to be someone who is big. A young person with cold, rough skin will be red as well. A green and red colored person who has a nice temperament will be cold.
Harry is cold.
@0: Alan is red.[(triple1)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Gary is cold.[(triple6)] Gary is rough.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple9 OR ((triple8 triple7) -> rule1))] Harry is kind.[(triple8)] Harry is young.[(triple7)] @1: Gary is red.[(((triple4 triple5 triple6) -> rule5))] @2: Gary is big.[(((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4))] @3: Gary is green.[(((triple4 triple6 ((triple6 ((triple4 triple5 triple6) -> rule5)) -> rule4)) -> rule2))]