Being young, Bob is still green and blue. People think that Charlie is round. This might be because he is young and blue. Dave fits the description of someone who is rough, red and blue. They always call him rough Eric. Find someone cold and green. If they are also round, then they are sure to be nice. Most of the people that are big and nice with green eyes, will be round. Anyone that's rough and cold is also going to be blue. When someone is nice, dressing in red, they can be blue because they are cold. A round and blue individual will also be a cold individual. A big kind person that is red is almost always nice. A blue and green colored person will be round in shape.
Bob is not nice.
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Eric is rough.[(triple10)] @1: Bob is round.[(((triple3 triple2) -> rule7))] Charlie is cold.[(((triple5 triple6) -> rule5))] @2: Bob is cold.[(((((triple3 triple2) -> rule7) triple3) -> rule5))] @3: Bob is nice.[(((((((triple3 triple2) -> rule7) triple3) -> rule5) triple2 ((triple3 triple2) -> rule7)) -> rule1))]