Bob is young but big for his age and he's cold and red at the moment too. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. Young Harry is quite nice, and because he is so round can be considered quite big. Big and round people who arent cold, tend to be very kind. Anyone in the world who is nice, red, and young, is simultaneously rough. A quite nice person will certainly be red. Rough young folks are surprisingly kind.
Harry is not red.
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Gary is blue.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is red.[(((triple10) -> rule3))] @2: Harry is rough.[(((triple10 ((triple10) -> rule3) triple8) -> rule2))] @3: Harry is kind.[(((triple8 ((triple10 ((triple10) -> rule3) triple8) -> rule2)) -> rule4))]