They always call him rough Alan. Dave's a round guy, and a red and green guy. That guy Gary is big, but he's always kind to little ones. Harry is very nice to people, but he's also rather big. Soon you will understand that big people are nice. A round person who is nice and feelin cold is usually rough in apperance. If you see someone who is red and green they are round, like Santa Claus. Don't be surprised to hear that all nice, kind folks are in fact rough. If someone is colored red but is cold, they tend to show a lot of green. A person who is round and nice is cold. Nice, kind people who look rough almost always feel cold.
Harry is not green.
@0: Alan is rough.[(triple1)] Dave is green.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2 OR ((triple3 triple4) -> rule3))] Gary is big.[(triple6)] Gary is kind.[(triple5)] Harry is big.[(triple8)] Harry is nice.[(triple7 OR ((triple8) -> rule1))] @1: Gary is nice.[(((triple6) -> rule1))] @2: Gary is rough.[(((((triple6) -> rule1) triple5) -> rule4))] @3: Gary is cold.[(((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple5) -> rule4)) -> rule7))]