Charlie seems to be round. Eric, a kind young person is always feeling blue. Even though Gary is big and rough, he is kind. Gary is green with envy. A very nice person who is also green is certainly kind. When you meet someone who is nice and kind, they wont feel blue. Someone with rough and green feet is invariably kind. People that are green and big while also being cold are always nice. Big people with rough, green skin are cold because of it. Often a young, blue person is very kind and then will be nice to others. Rough people who look red are cold.
Dave is not nice.
@0: Charlie is round.[(triple1)] Eric is blue.[(triple4)] Eric is kind.[(triple3)] Eric is young.[(triple2)] Gary is big.[(triple8)] Gary is green.[(triple7)] Gary is kind.[(triple6 OR ((triple5 triple7) -> rule3) OR ((triple7 ((triple7 triple8 ((triple7 triple8 triple5) -> rule5)) -> rule4)) -> rule1))] Gary is rough.[(triple5)] @1: Eric is nice.[(((triple4 triple2 triple3) -> rule6))] Gary is cold.[(((triple7 triple8 triple5) -> rule5))] @2: Gary is nice.[(((triple7 triple8 ((triple7 triple8 triple5) -> rule5)) -> rule4))] @3: Gary is blue.[(((triple6 ((triple7 triple8 ((triple7 triple8 triple5) -> rule5)) -> rule4)) -> rule2) OR ((((triple5 triple7) -> rule3) ((triple7 triple8 ((triple7 triple8 triple5) -> rule5)) -> rule4)) -> rule2) OR ((((triple7 ((triple7 triple8 ((triple7 triple8 triple5) -> rule5)) -> rule4)) -> rule1) ((triple7 triple8 ((triple7 triple8 triple5) -> rule5)) -> rule4)) -> rule2))]