Young, red Bob is nice. You should meet Charlie, he is big and rough on the football field but also very young in age. Dave is a red fellow who habitually looks blue. He's often cold. Fred is a very kind, green but sometimes cold person. Kind people that are rough and round are also considered big. Lucky for us, people that are round and red are kind to strangers. People who are cold even when they're nice and round, they are young. A person described as cold and kind can also be described as nice. You can see that cold, blue people are round in shape.
Dave is round.
@0: Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is red.[(triple7)] Fred is cold.[(triple12)] Fred is green.[(triple11)] Fred is kind.[(triple10)] @1: Dave is round.[(((triple8 triple9) -> rule5))] Fred is nice.[(((triple12 triple10) -> rule4))] @2: Dave is kind.[(((((triple8 triple9) -> rule5) triple7) -> rule2))] @3: Dave is nice.[(((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4))] @4: Dave is young.[(((((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4) ((triple8 triple9) -> rule5) triple8) -> rule3))]