Charlie wears all blue. Dave is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Big Eric is nice and red with sunburn and green hair. Harry was looking rather round and feeling rather cold, but people thought he is kind. Find a big human that is colored red and green and he will be amazingly kind. Any cold, round, green person is going to be young at the same time. If you are green you are also kind. A person with the qualities of being cold and being red will also be a person that is green. Whenever you see Pete you run into a young man rough, which means he will be nice. People who are considered rough, blue, and nice, are also green. Kind people, for example, like the ones at the bank are always blue.
Harry is green.
@0: Charlie is blue.[(triple1)] Dave is cold.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is round.[(triple10)] @1: Dave is green.[(((triple5 triple3) -> rule4))] Eric is kind.[(((triple8) -> rule3) OR ((triple9 triple6 triple8) -> rule1))] Harry is blue.[(((triple11) -> rule7))] @2: Dave is kind.[(((((triple5 triple3) -> rule4)) -> rule3))] Eric is blue.[(((((triple8) -> rule3)) -> rule7) OR ((((triple9 triple6 triple8) -> rule1)) -> rule7))] @3: Dave is blue.[(((((((triple5 triple3) -> rule4)) -> rule3)) -> rule7))]