Although Bob is young and nice, he is as cold as ice. The cold, nice, kind man with a round body is known as Charlie. Even though he's a big dude, Dave is cold. Even though Fred is big and round, he is cold much of the time. People with red hair, rough skin and big teeth manage to be nice to people. Young and nice people have great big smiles. Big people who are round in stature and also feel rough are often cold to other people. Nice young people who are round are also blue. Big and cold people are likely to be round, too. Cold and kind people tend to be blue. If you run into a cold and kind person, they are always big.
Bob is blue.
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4 OR ((((triple7 triple6) -> rule7) triple7) -> rule5))] Dave is big.[(triple9)] Dave is cold.[(triple8)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is round.[(triple10 OR ((triple12 triple11) -> rule5))] @1: Bob is big.[(((triple1 triple2) -> rule2))] Charlie is big.[(((triple7 triple6) -> rule7))] Charlie is blue.[(((triple7 triple6) -> rule6))] Dave is round.[(((triple9 triple8) -> rule5))] @2: Bob is round.[(((((triple1 triple2) -> rule2) triple3) -> rule5))] @3: Bob is blue.[(((triple2 triple1 ((((triple1 triple2) -> rule2) triple3) -> rule5)) -> rule4))]