They always call him rough Bob. They always call him rough Charlie. Gary is round, dresses in red, but is blue with cold. Red Harry is what folks call him, because he is quite red. A round person who is nice and feelin cold is usually rough in apperance. Young and nice people have great big smiles. People who are round, blue and cold are usually nice. People who are rough are often rather kind as well.
Gary is kind.
@0: Bob is rough.[(triple1)] Charlie is rough.[(triple2)] Gary is blue.[(triple6)] Gary is cold.[(triple5)] Gary is red.[(triple4)] Gary is round.[(triple3)] Harry is red.[(triple7)] @1: Bob is kind.[(((triple1) -> rule4))] Charlie is kind.[(((triple2) -> rule4))] Gary is nice.[(((triple3 triple6 triple5) -> rule3))] @2: Gary is rough.[(((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1))] @3: Gary is kind.[(((((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1)) -> rule4))]