Bob is still young and round, but he is nice to everyone and kind to animals. They always call him rough Charlie. Young Dave is wearing green pants. Fred is a round fellow, but he is kind, even when he is so cold he turns blue. Red haired people who are nice and kind are looked up to because they are always big. When somebody is round, kind and blue, you know they'll also be red. If a person is quite big and also round then they are certainly rough too. A cold, red person with a kind disposition will certainly be big.
Fred is rough.
@0: Bob is kind.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is rough.[(triple5)] Dave is green.[(triple7)] Dave is young.[(triple6)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is kind.[(triple9)] Fred is round.[(triple8)] @1: Fred is red.[(((triple8 triple9 triple11) -> rule2))] @2: Fred is big.[(((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4))] @3: Fred is rough.[(((((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4) triple8) -> rule3))]