Dave is young and green, and seems to be cold and rough, but time will round him into a decent person. Eric seems to be round. For being so cold, it's good Gary can remain nice. When someone is kind yet can be cold and blue, they will also be very big. Young people are so rough that they can hold their breath until they are blue. Anybody young person covered in blue and green will be kind. Big, young people with green color are rather rough. Watch out for young people that are kind for they are rough. If you ever meet someone who is both green and blue while being nice, then they'll be big, too. A round shaped kind person who is colored green will be cold natured.
Dave is not blue.
@0: Dave is cold.[(triple5 OR ((triple2 triple4 ((triple1 ((triple3 triple1) -> rule2) triple4) -> rule3)) -> rule7))] Dave is green.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is round.[(triple6)] Gary is cold.[(triple8)] Gary is nice.[(triple7)] @1: Dave is blue.[(((triple3 triple1) -> rule2))] @2: Dave is kind.[(((triple1 ((triple3 triple1) -> rule2) triple4) -> rule3))] @3: Dave is big.[(((((triple1 ((triple3 triple1) -> rule2) triple4) -> rule3) triple5 ((triple3 triple1) -> rule2)) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule2) triple4) -> rule3) ((triple2 triple4 ((triple1 ((triple3 triple1) -> rule2) triple4) -> rule3)) -> rule7) ((triple3 triple1) -> rule2)) -> rule1))]