Dave is green and cold too. As much as Eric is round, he is also rough, green and blue. Harry is young and green. This makes him cold to others. A big, rough person who is green in color is definitely young aged. A nice, green, big person is also sure to be a red person. Blue eyed people, green with sickness and rough around the edges quickly turn red and blush when stepping ashore. People that are rough and red in the face, are usually big in size. If someone shows that they are red, then they are also showing that they are green. When you run into someone who is rough and green at the same time, they will also be red.
Dave is not big.
@0: Dave is cold.[(triple2)] Dave is green.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is young.[(triple7)] @1: Eric is red.[(((triple4 triple5) -> rule6) OR ((triple6 triple5 triple4) -> rule3))] @2: Eric is big.[(((((triple4 triple5) -> rule6) triple4) -> rule4) OR ((((triple6 triple5 triple4) -> rule3) triple4) -> rule4))] @3: Eric is young.[(((((((triple4 triple5) -> rule6) triple4) -> rule4) triple5 triple4) -> rule1) OR ((((((triple6 triple5 triple4) -> rule3) triple4) -> rule4) triple5 triple4) -> rule1))]