Even though Bob is big and rough, he is nice. Bob often is blue and green with envy. Eric is so young and darling he is kind to all the old people on the block. Red Harry is what folks call him, because he is quite red. People who are rough and green with envy are young. A person being big and rough makes them cold towards others but that also means that they are kind. If you meet someone who is big and kind with cold skin, they will be young. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. People who are considered rough, blue, and nice, are also green. When someone is big, young and rough, they can be cold.
Harry is not red.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is green.[(triple3 OR ((triple1 triple4 triple2) -> rule5))] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Eric is kind.[(triple7)] Eric is young.[(triple6)] Harry is red.[(triple8)] @1: Bob is young.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1))] @2: Bob is cold.[(((triple1 ((triple1 triple3) -> rule1) triple5) -> rule6) OR ((triple1 ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1) triple5) -> rule6))] @3: Bob is kind.[(((((triple1 ((triple1 triple3) -> rule1) triple5) -> rule6) triple5 triple1) -> rule2) OR ((((triple1 ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1) triple5) -> rule6) triple5 triple1) -> rule2))] @4: Bob is round.[(((((triple1 ((triple1 triple3) -> rule1) triple5) -> rule6) ((((triple1 ((triple1 triple3) -> rule1) triple5) -> rule6) triple5 triple1) -> rule2) triple5) -> rule4) OR ((((triple1 ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1) triple5) -> rule6) ((((triple1 ((triple1 triple3) -> rule1) triple5) -> rule6) triple5 triple1) -> rule2) triple5) -> rule4) OR ((((triple1 ((triple1 triple3) -> rule1) triple5) -> rule6) ((((triple1 ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1) triple5) -> rule6) triple5 triple1) -> rule2) triple5) -> rule4) OR ((((triple1 ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1) triple5) -> rule6) ((((triple1 ((triple1 ((triple1 triple4 triple2) -> rule5)) -> rule1) triple5) -> rule6) triple5 triple1) -> rule2) triple5) -> rule4))]