Alan always goes out of his way to show that he is kind to people. Bob associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Big Eric is very nice. Though he is rough and cold he is green and still learning. Harry ate some rotten meat and now feels green. People that tend to be big and green also tend to be cold. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. People who are blue and green are nice. A nice and colored blue person will be rather big. You will probably see that big, round, blue people are green, too. Rough folks with green and red coloration tend to feel cold no matter what. People that are blue, cold, and big, are rather rough.
Harry is not blue.
@0: Alan is kind.[(triple1)] Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is young.[(triple2)] Eric is big.[(triple10)] Eric is cold.[(triple9 OR ((triple10 triple8) -> rule1) OR ((triple6 triple10 triple7) -> rule2))] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Harry is green.[(triple11)] @1: Bob is nice.[(((triple5 triple4) -> rule3))] @2: Bob is big.[(((triple5 ((triple5 triple4) -> rule3)) -> rule4))] @3: Bob is cold.[(((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1))] @4: Bob is rough.[(((triple5 ((((triple5 ((triple5 triple4) -> rule3)) -> rule4) triple4) -> rule1) ((triple5 ((triple5 triple4) -> rule3)) -> rule4)) -> rule7))]