That man standing next to you with a big round body goes by the name of Charlie. Dave who is round and rough is also said to be nice and kind and is feeling green and blue. Fred is young, he is also red and green. A very kind and green colored person, who is also cold, will be nice. Kind people that are rough and round are also considered big. Big and round people can't help but be cold all of the time. Nice people who are big are always feeling blue. Red and round people will be cold even in the summer. A big, green person who is cold is assumed to be red also.
Charlie is not green.
@0: Charlie is big.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple8 OR ((triple5 ((triple4 triple6 triple3) -> rule2)) -> rule4) OR ((((triple6 triple7 ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule1) ((triple4 triple6 triple3) -> rule2)) -> rule4))] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5 OR ((triple6 triple7 ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule1))] Dave is rough.[(triple4)] Dave is round.[(triple3)] Fred is green.[(triple11)] Fred is red.[(triple10)] Fred is young.[(triple9)] @1: Charlie is cold.[(((triple2 triple1) -> rule3))] Dave is big.[(((triple4 triple6 triple3) -> rule2))] @2: Dave is cold.[(((((triple4 triple6 triple3) -> rule2) triple3) -> rule3))] @3: Dave is red.[(((triple7 ((triple4 triple6 triple3) -> rule2) ((((triple4 triple6 triple3) -> rule2) triple3) -> rule3)) -> rule6))]