Bob is rough, but often feels blue. He is pretty young. Big, red Dave is quite kind. In the snow sits Fred, crying from being cold. Young Gary is kind and perpetually cold, especially during the winter holidays when he is green and red. Young and nice people have great big smiles. A nice person who is always seen to be wearing green clothes will be rather big in size. If someone is blue, young, and rough, they qualify as being round. When someone is nice, dressing in red, they can be blue because they are cold. A person described as cold and kind can also be described as nice. Rough young folks are surprisingly kind. If you meet a young and kind person who is also rough, they are cold, too.
Fred is big.
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Fred is cold.[(triple7)] Gary is cold.[(triple12)] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Bob is kind.[(((triple1 triple2) -> rule6))] Bob is round.[(((triple2 triple1 triple3) -> rule3))] Gary is nice.[(((triple12 triple10) -> rule5))] @2: Bob is cold.[(((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7))] Gary is big.[(((triple11 ((triple12 triple10) -> rule5)) -> rule2) OR ((triple8 ((triple12 triple10) -> rule5)) -> rule1))] @3: Bob is nice.[(((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5))] @4: Bob is big.[(((triple1 ((((triple2 triple1 ((triple1 triple2) -> rule6)) -> rule7) ((triple1 triple2) -> rule6)) -> rule5)) -> rule1))]