You should meet Bob, he is big and rough on the football field but also very young in age. Dave, like all young people, is nice. This Fred guy is red. He is also kind and yet cold. Gary is big and tends to wear red shirts. Whoever is rough and red must be kind. A green, downhearted, and blue person with red cheeks is big. A kind person that is also red and rough is usually also nice. All the big and young boys at the park are red. Young round folks who are at least a bit red are actually nice. Anybody with rough, kind and blue aspects will certainly be cold, too. Kind people, for example, like the ones at the bank are always blue.
Bob is red.
@0: Bob is big.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is nice.[(triple5)] Dave is young.[(triple4)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Gary is big.[(triple10)] Gary is red.[(triple9)] @1: Bob is red.[(((triple3 triple1) -> rule4))] Fred is blue.[(((triple7) -> rule7))] @2: Bob is kind.[(((triple2 ((triple3 triple1) -> rule4)) -> rule1))] @3: Bob is blue.[(((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7))] Bob is nice.[(((triple2 ((triple3 triple1) -> rule4) ((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule3))] @4: Bob is cold.[(((triple2 ((triple2 ((triple3 triple1) -> rule4)) -> rule1) ((((triple2 ((triple3 triple1) -> rule4)) -> rule1)) -> rule7)) -> rule6))]