Bob appears green and blue, he is also rather round and kind. Charlie is a round shaped but rough person, and is nice with the color blue. Dave ate some rotten meat and now feels green. Gary has a round face and is very nice. Nice people that are blue because they are cold turn green with envy. Big people that are cold will show you how rough they actually are. A person that is blue green and nice are that way because they are still young. It's inevitable that young, green people are big. You can find someone that is young and rough but kind and nice. A round and blue individual will also be a cold individual. Anyone who is big and cold and also kind is definitely red on top if it.
Dave is not blue.
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple8)] Charlie is nice.[(triple7)] Charlie is rough.[(triple6 OR ((((triple5 triple8) -> rule6) ((((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3) ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1)) -> rule4)) -> rule2))] Charlie is round.[(triple5)] Dave is green.[(triple9)] Gary is nice.[(triple11)] Gary is round.[(triple10)] @1: Bob is cold.[(((triple1 triple4) -> rule6))] Charlie is cold.[(((triple5 triple8) -> rule6))] @2: Charlie is green.[(((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1))] @3: Charlie is young.[(((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3))] @4: Charlie is big.[(((((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3) ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1)) -> rule4))]