Karel's conditions

Karel knows the following conditions: