Alan seems big and rough, but he's actually quite kind. Charlie may be round, but he is also kind. Dave is kind. He is also very cold and blue. Fred is known for being big and rough, but few know he is also always red with cold. If a kind person is green and a bit blue then they are also nice. Big people who are red in color are almost always young. Nice people that are very green and even round shaped will be very young. A big and round individual is sure to be a kind individual, too. People who are said to be big and nice are round. Any red sort of person is a nice person. People who are round and behave in a cold way are surely blue.
Dave is not green.
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is red.[(triple10)] Fred is rough.[(triple9)] @1: Fred is nice.[(((triple10) -> rule6))] Fred is young.[(((triple12 triple10) -> rule2))] @2: Fred is round.[(((triple12 ((triple10) -> rule6)) -> rule5))] @3: Fred is blue.[(((((triple12 ((triple10) -> rule6)) -> rule5) triple11) -> rule7))] Fred is kind.[(((triple12 ((triple12 ((triple10) -> rule6)) -> rule5)) -> rule4))]