Bob is kind and has rough, round hands that are red. Bob is green with envy when he looks at people who don't have to work. Dave is blue and cold. Surprisingly, all the kind, green people were also big. Those who are nice but a bit rough around the edges are known for being blue. Despite being too big with bright green skin and freezing cold, these people have always been kind. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Someone who is not only rough and big but also nice will necessarily be round as well. Young cold individuals are usualyy rough. Young people that are nice and green tend to be blue.
Dave is nice.
@0: Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] @1: Bob is big.[(((triple4 triple5) -> rule1))] @2: Bob is nice.[(((((triple4 triple5) -> rule1) triple1 triple3) -> rule4))] @3: Bob is blue.[(((((((triple4 triple5) -> rule1) triple1 triple3) -> rule4) triple2) -> rule2))]