Bob is a red, rough, green and blue man. Eric is a big fellow, often blue and sad, but he is nice. Gary is a kind person and he is also often cold. Harry seems to be round. When rough and kind can describe a person, then cold will describe them, too. Nice, young red people will also turn out to always be green. Someone with rough and green feet is invariably kind. A big round young person is often blue. A kind person who looks blue because he is is cold is usually big in stature. Green folks who are nice and rough are a round shape.
Bob is big.
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is nice.[(triple5)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Harry is round.[(triple10)] @1: Bob is kind.[(((triple1 triple3) -> rule3))] @2: Bob is cold.[(((((triple1 triple3) -> rule3) triple1) -> rule1))] @3: Bob is big.[(((((((triple1 triple3) -> rule3) triple1) -> rule1) triple4 ((triple1 triple3) -> rule3)) -> rule5))]