Bob is a nice person who is red because he has a rash. The cold, nice, kind man with a round body is known as Dave. Eric is a very rough person. As expected, he's also a very cold and big individual. I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time. Nice people that are blue because they are cold turn green with envy. A blue person who is feeling a bit rough and cold will be wearing red. A green person who is kind and a bit blue is young. People who are blue and cold are red. A blue person who is young and rough is also red. A person who is kind but also rough and is also colored blue, will be shaped round. Kind people, for example, like the ones at the bank are always blue.
Eric is nice.
@0: Bob is nice.[(triple2)] Bob is red.[(triple1)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Gary is cold.[(triple12)] Gary is red.[(triple11)] Gary is rough.[(triple10)] @1: Dave is blue.[(((triple5) -> rule7))] @2: Dave is green.[(((((triple5) -> rule7) triple4 triple6) -> rule1))] Dave is red.[(((((triple5) -> rule7) triple6) -> rule4))] @3: Dave is young.[(((((triple5) -> rule7) triple5 ((((triple5) -> rule7) triple4 triple6) -> rule1)) -> rule3))]