Because Bob, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Eric is known to be rough and green. Gary is interestingly colored red and blue, and is also very kind. Harry was born only a few years ago so he is young. A young aged blue person will certainly be nice. A nice and colored blue person will be rather big. A green and quite rough person will also be blue. Take a drive and find a kind and blue driver, that means they are also young. Anyone who's blue is also green.
Harry is not big.
@0: Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1 OR ((triple4 triple5) -> rule4))] Eric is green.[(triple7)] Eric is rough.[(triple6)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Harry is young.[(triple11)] @1: Bob is green.[(((triple5) -> rule5))] Bob is nice.[(((triple1 triple5) -> rule1) OR ((((triple4 triple5) -> rule4) triple5) -> rule1))] Eric is blue.[(((triple6 triple7) -> rule3))] Gary is green.[(((triple10) -> rule5))] Gary is young.[(((triple9 triple10) -> rule4))] @2: Bob is big.[(((triple5 ((triple1 triple5) -> rule1)) -> rule2) OR ((triple5 ((((triple4 triple5) -> rule4) triple5) -> rule1)) -> rule2))] Gary is nice.[(((((triple9 triple10) -> rule4) triple10) -> rule1))] @3: Gary is big.[(((triple10 ((((triple9 triple10) -> rule4) triple10) -> rule1)) -> rule2))]