When you meet Bob you'll the two characteristics that will standout is that he's red but also rough. When you see Charlie, you will notice he is cold, big and kind. Blue with the cold Dave is rough but kind with a green shirt. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Green and blue people have a habit of being cold, which makes them red too. A round and blue individual will also be a cold individual. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Green people who are kind with rosy red skin are round. A big, blue and cold person will also be a round person. Those who are round and cold are young.
Dave is not red.
@0: Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Dave is blue.[(triple10)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Fred is blue.[(triple12)] Fred is kind.[(triple11)] @1: Dave is red.[(((triple8 triple10 triple9) -> rule1))] @2: Dave is round.[(((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4))] @3: Dave is young.[(((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6))] @4: Dave is nice.[(((((triple8 triple10 triple9) -> rule1) ((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6) triple6) -> rule3))]