Alan is a big gentleman who is very nice. He is secretly green with envy. Dave became more and more round and nice and kind, but he couldn't stop being cold and big. In the snow sits Eric, crying from being cold. Fred is both young and fairly round in size. A round person who is nice is young. Big round people who wear red clothing will also wear a lot of green jewelry. When a person's traits are to be big, blue and cold, they will also have a red trait. Among cold people, those who are round and kind are also rough. If a young person knows he is big and round, then he will be blue. Looking blue can be a sign that someone is cold. People who are rough and cold, but also nice, are considered green.
Dave is not young.
@0: Alan is big.[(triple3)] Alan is green.[(triple2)] Alan is nice.[(triple1)] Dave is big.[(triple8)] Dave is cold.[(triple7 OR ((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6))] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is round.[(triple4)] Eric is cold.[(triple9)] Fred is round.[(triple11)] Fred is young.[(triple10)] @1: Dave is rough.[(((triple7 triple4 triple6) -> rule4) OR ((((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) triple4 triple6) -> rule4))] Dave is young.[(((triple5 triple4) -> rule1))] @2: Dave is blue.[(((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5))] Dave is green.[(((((triple7 triple4 triple6) -> rule4) triple7 triple5) -> rule7) OR ((triple8 ((triple8 triple7 ((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule2) OR ((((triple7 triple4 triple6) -> rule4) ((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) triple5) -> rule7) OR ((((((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) triple4 triple6) -> rule4) triple7 triple5) -> rule7) OR ((triple8 ((triple8 ((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) ((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule3) triple4) -> rule2) OR ((((((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) triple4 triple6) -> rule4) ((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) triple5) -> rule7))] @3: Dave is red.[(((triple8 triple7 ((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule3) OR ((triple8 ((((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule6) ((triple4 triple8 ((triple5 triple4) -> rule1)) -> rule5)) -> rule3))]