Although Bob is seen as nice and round, his days of playing football have made him quite rough. Because Dave gets cold easily he tends to appear round from bundling up. Young Eric is quite nice, and because he is so round can be considered quite big. Fred is a kind and red colored guy. All kind, red, and young people are also nice. Those who are nice but a bit rough around the edges are known for being blue. It's a fact that young people are red people. If you color the young ones blue then they will be kind. Round and big people are sure to be rough. An individual who is big and nice is also green.
Dave is rough.
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is cold.[(triple5)] Dave is round.[(triple4)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Fred is kind.[(triple11)] Fred is red.[(triple10)] @1: Bob is blue.[(((triple3 triple2) -> rule2))] Eric is green.[(((triple9 triple8) -> rule6))] Eric is red.[(((triple6) -> rule3))] Eric is rough.[(((triple7 triple9) -> rule5))] @2: Eric is blue.[(((triple8 ((triple7 triple9) -> rule5)) -> rule2))] @3: Eric is kind.[(((((triple8 ((triple7 triple9) -> rule5)) -> rule2) triple6) -> rule4))]