Red Bob is what folks call him, because he is quite red. Being so young, Charlie is rough during play, even though he is nice. He is big for his age and has blue eyes. Both green but also blue, Fred is nice and kind while being cold. A big person who is green and cold has red skin. People who are big and kind are also round. Any green person is a round person. Blue and red people are often rough. Anyone that's rough and cold is also going to be blue. When somebody is round, kind and blue, you know they'll also be red. A person that is the color red will definitely be round shaped.
Charlie is nice.
@0: Bob is red.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] @1: Bob is round.[(((triple1) -> rule7))] Fred is round.[(((triple9) -> rule3))] @2: Fred is red.[(((((triple9) -> rule3) triple8 triple11) -> rule6))] @3: Fred is rough.[(((triple11 ((((triple9) -> rule3) triple8 triple11) -> rule6)) -> rule4))]