Although Bob is seen as nice and round, his days of playing football have made him quite rough. They always call him rough Charlie. That guy Fred is big, but he's always kind to little ones. Harry felt young and rough. He made himself red, green, and blue. Big and round people can't help but be cold all of the time. Blue and red people are often rough. A green, round, blue male or female will be a big male or female, too. Green people will be nice even when they have been rough. Red, young people are for the most part round too. A round person will also be red.
Bob is not rough.
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is rough.[(triple4)] Fred is big.[(triple6)] Fred is kind.[(triple5)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8 OR ((triple11 triple9) -> rule2))] Harry is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule6))] Harry is round.[(((triple9 triple7) -> rule5))] @2: Harry is big.[(((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3))] @3: Harry is cold.[(((((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3) ((triple9 triple7) -> rule5)) -> rule1))]