Alan has a round face and is very nice. Bob is a rough but very kind and blue person. In the snow sits Charlie, crying from being cold. Dave, a blue and green creature, was also big, rough and kind to others. Young and nice people have great big smiles. Anybody who is so cold that they are red and blue must be young. When someone is young they can be nice and kind, but green in society. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Kind young people that are still blue are generally round shaped. People that are big but also green, may ultimately be very nice. Nice, kind people who look rough almost always feel cold.
Dave is nice.
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Charlie is cold.[(triple6)] Dave is big.[(triple11)] Dave is blue.[(triple10)] Dave is green.[(triple9)] Dave is kind.[(triple8)] Dave is rough.[(triple7)] @1: Dave is nice.[(((triple11 triple9) -> rule6))] @2: Dave is cold.[(((((triple11 triple9) -> rule6) triple8 triple7) -> rule7))] Dave is young.[(((((triple11 triple9) -> rule6) triple11 triple8) -> rule4))] @3: Dave is round.[(((triple10 ((((triple11 triple9) -> rule6) triple11 triple8) -> rule4) triple8) -> rule5))]