Big Bob is nice but also rough. Dave is kind and round. Being round makes him a bit blue. Even though Eric is young, he is still very round and still very red. They always call him rough Fred. Young people who are feeling green and cold are kind. Young round folks who are at least a bit red are actually nice. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. There are so many rough, young people and for some reason they are all big too. A nice young person will be rough in texture.
Eric is not rough.
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Eric is red.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Fred is rough.[(triple10)] @1: Eric is nice.[(((triple9 triple8 triple7) -> rule2))] @2: Eric is rough.[(((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5))] @3: Eric is big.[(((triple7 ((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5)) -> rule4))]