Nice, but round, Bob has been said to be cold. Most people consider Charlie to bed red. He's pretty cold to people and often feels blue. Charlie is a big person. Upon meeting Dave, you'll notice he's green and kind. Red Eric is what folks call him, because he is quite red. A round person who is nice is young. When young, round people are cold it their skin gets a blue tinge to it. A kind person that is also red and rough is usually also nice. Any green person is a round person. A quite nice person who is red and green is also big. A young round person who is green is also red. Kind people,though green,tend to be nice.
Dave is rough.
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Dave is green.[(triple9)] Dave is kind.[(triple8)] Eric is red.[(triple10)] @1: Bob is young.[(((triple2 triple1) -> rule1))] Dave is nice.[(((triple8 triple9) -> rule7))] Dave is round.[(((triple9) -> rule4))] @2: Bob is blue.[(((((triple2 triple1) -> rule1) triple1 triple3) -> rule2))] Dave is young.[(((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1))] @3: Dave is red.[(((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6))] @4: Dave is big.[(((((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6) triple9 ((triple8 triple9) -> rule7)) -> rule5))]