Dave wears a green and red coat, but is always cold. Throughout the time Eric was young, he was a round and rough fellow. Because he was often cold, he was also blue. Harry feels blue because the other kids made fun of his round shape. Someone who is green and cold is, at the same time, blue in every case. Round blue people are said to be very kind. It's truly amazing that blue, kind, round people are always so nice. Just as you might expect, blue and red people are always big. A nice person who is also round will always be big. Cold and rough people are usually red. People who are big, green, and rough are bound to be red.
Eric is not green.
@0: Dave is cold.[(triple3)] Dave is green.[(triple2)] Dave is red.[(triple1)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Harry is blue.[(triple10)] Harry is round.[(triple9)] @1: Dave is blue.[(((triple2 triple3) -> rule1))] Eric is kind.[(((triple8 triple5) -> rule2))] Eric is red.[(((triple6 triple7) -> rule6))] Harry is kind.[(((triple10 triple9) -> rule2))] @2: Dave is big.[(((((triple2 triple3) -> rule1) triple1) -> rule4))] Eric is big.[(((triple8 ((triple6 triple7) -> rule6)) -> rule4) OR ((((triple8 ((triple8 triple5) -> rule2) triple5) -> rule3) triple5) -> rule5))] Eric is nice.[(((triple8 ((triple8 triple5) -> rule2) triple5) -> rule3))] Harry is nice.[(((triple10 ((triple10 triple9) -> rule2) triple9) -> rule3))] @3: Harry is big.[(((((triple10 ((triple10 triple9) -> rule2) triple9) -> rule3) triple9) -> rule5))]