Alan gets red when he is mad and tends to act very cold. Bob is very nice to people, but he's also rather big. Gary is a young and nice man, and he is also very big shaped. Harry is young and green, so although he is rough and blue with sadness, he'll grow out of it. A rough person who is young and nice is also red. A young, nice person will turn out to be a green person also. Blue, red, young people are always going to be kind people, too. Kind people who are nice find that they must also be rough. Whenever you see Pete you run into a young man rough, which means he will be nice. If you meet somebody who is young, rough and round, you can be sure they are nice as well. You will find most green,cold and blue people to be rough.
Harry is nice.
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple4)] Bob is nice.[(triple3)] Gary is big.[(triple7)] Gary is nice.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple11)] Harry is green.[(triple10 OR ((triple8 ((triple8 triple9) -> rule5)) -> rule2))] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Gary is green.[(((triple5 triple6) -> rule2))] Harry is nice.[(((triple8 triple9) -> rule5))] @2: Harry is red.[(((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1))] @3: Harry is kind.[(((triple11 ((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1) triple8) -> rule3))]