Bob looks big and is kind with red hair and green shoes. Gary is big and rough looking but is very nice and kind. In the snow sits Harry, crying from being cold. A person with rough skin who has been standing in the cold will turn red. People feeling green and blue are somewhat nice. Being big and kind like a gentle giant can make anyone blue. It's just a fact that a blue person is a kind person. Big people that tend to be nice and blue, may also be a little rough to others. Anybody that is rough, cold and nice will be round at the same time.
Bob is not blue.
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Gary is big.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5 OR ((triple8 triple6 ((triple8 triple7) -> rule3)) -> rule5))] Harry is cold.[(triple9)] @1: Bob is blue.[(((triple4 triple2) -> rule3))] Gary is blue.[(((triple8 triple7) -> rule3))] @2: Bob is nice.[(((triple3 ((triple4 triple2) -> rule3)) -> rule2))] @3: Bob is rough.[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule2) ((triple4 triple2) -> rule3)) -> rule5))]