That man standing next to you with a big round body goes by the name of Bob. Fred fits the description of someone who is rough, red and blue. Gary always goes out of his way to show that he is kind to people. Harry is nice and kind despite the appearance of his cold, red skin. Big people that are cold will show you how rough they actually are. Any person who is blue and round, if they are kind at the same time, will be young. Red people feel blue about it. Blue, red and nice people are always big, too.
Harry is not young.
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Fred is blue.[(triple5 OR ((triple4) -> rule3))] Fred is red.[(triple4)] Fred is rough.[(triple3)] Gary is kind.[(triple6)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] @1: Harry is blue.[(((triple7) -> rule3))] @2: Harry is big.[(((triple8 ((triple7) -> rule3) triple7) -> rule4))] @3: Harry is rough.[(((triple10 ((triple8 ((triple7) -> rule3) triple7) -> rule4)) -> rule1))]