When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. Eric is a nice person who is red because he has a rash. Fred is interestingly colored red and blue, and is also very kind. Harry is young but big for his age and he's cold and red at the moment too. Cold people,though green and red,tend to be rough. People that feel green are cold to people that try to help them. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. A person being big and rough makes them cold towards others but that also means that they are kind. All men who happen to be red and big, will also be blue. A young person who is both big and blue is also someone who is green.
Dave is not big.
@0: Dave is red.[(triple2)] Dave is rough.[(triple1)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Harry is big.[(triple11)] Harry is cold.[(triple10 OR ((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2))] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Harry is blue.[(((triple9 triple11) -> rule5))] @2: Harry is green.[(((((triple9 triple11) -> rule5) triple8 triple11) -> rule6))] @3: Harry is rough.[(((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1))] @4: Harry is kind.[(((triple10 triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple10 triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4))]